( en | de | ru )

 

Disambiguierung von "Srivas, Mandayam K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using PVS to Prove Some Theorems Of David Parnas.

, und . HUG, Volume 780 von Lecture Notes in Computer Science, Seite 163-173. Springer, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Aman K K Bhasin

K Böhm

K Schweizerhof

K Schaber

K Beheng

 

Weitere Publikationen von Autoren mit dem selben Namen

Verifying Advanced Microarchitectures that Support Speculation and Exceptions., , und . CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 521-537. Springer, (2000)Computability and Implementability Issues in Abstract Data Types., und . Sci. Comput. Program., 10 (1): 33-63 (1988)Automated Property Directed Self Composition., , , , und . ATVA, Volume 14216 von Lecture Notes in Computer Science, Seite 139-158. Springer, (2023)Reasoning in Systems of Equations and Inequations., , und . FSTTCS, Volume 287 von Lecture Notes in Computer Science, Seite 305-325. Springer, (1987)Effective Theorem Proving for Hardware Verification., , , und . TPCD, Volume 901 von Lecture Notes in Computer Science, Seite 203-222. Springer, (1994)Industrial Strength Formal Verification Techniques for Hardware Designs., , und . VLSI Design, Seite 208-212. IEEE Computer Society, (1997)Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods., und . WIFT, Seite 2-16. IEEE Computer Society, (1995)Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification., und . TPCD, Volume A-10 von IFIP Transactions, Seite 225-251. North-Holland, (1992)Expressiveness of the Operation Set of a Data Abstraction., und . POPL, Seite 139-153. ACM Press, (1980)Bridging the formal methods gap: a computer-aided verification tool for hardware designs.. Compcon, Seite 456-461. IEEE Computer Society, (1991)