Treffer 1 - 4 von 4 für Suche 'Srivas, M.K.', Suchdauer: 0,25s Treffer weiter einschränken
  1. 1
    Industrial strength formal verification techniques for hardware designs

    Industrial strength formal verification techniques for hardware designs von Rajan, S.P., Shankar, N., Srivas, M.K.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Applying formal verification to a commercial microprocessor

    Applying formal verification to a commercial microprocessor von Srivas, M.K., Miller, S.P.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification

    Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification von Cyrluk, D.A., Srivas, M.K.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Epigenetic Regulation of Memory-Therapeutic Potential for Disorders

    Epigenetic Regulation of Memory-Therapeutic Potential for Disorders von Singh, Padmanabh, Srivas, Sweta, Thakur, M K

    Veröffentlicht in Current neuropharmacology

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: