( en | de | ru )

 

Disambiguierung von "Pierce, R. H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
High integrity software development: process and tool issues.

, , , , , und . Microprocess. Microsystems, 19 (9): 517-524 (1995)

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.

-R H Hopf

Morgan Pierce

Sebastian H R Müller

R H W Hoppe

Michael H R Eichbaum

 

Weitere Publikationen von Autoren mit dem selben Namen

Tool Support for High Integrity Ada Software., , , , , und . Ada-Europe, Volume 887 von Lecture Notes in Computer Science, Seite 63-75. Springer, (1994)Source Language Debugging on a Small Computer.. Comput. J., 17 (4): 313-317 (1974)Accessible Formal Method Support for PLC Software Development., und . SAFECOMP, Seite 113-127. Springer, (1995)Object-Oriented Design of an Air-Defence Simulator., , und . Ada-Europe, Volume 688 von Lecture Notes in Computer Science, Seite 114-124. Springer, (1993)The Safety Management of Data-Driven Safety-Related Systems., , , , und . SAFECOMP, Volume 1943 von Lecture Notes in Computer Science, Seite 86-95. Springer, (2000)Capturing and Verifying Performance Requirements for Hard Real Time Systems., , , , , und . Ada-Europe, Volume 1251 von Lecture Notes in Computer Science, Seite 137-148. Springer, (1997)A Transformation-Directed Compiling System., und . Comput. J., 20 (2): 109-115 (1977)High integrity software development: process and tool issues., , , , , und . Microprocess. Microsystems, 19 (9): 517-524 (1995)On the use of passive tasks in Ada.. IRTAW, Seite 121-123. ACM, (1987)Reverse engineering Ada into HOOD., und . TRI-Ada, Seite 74-78. ACM, (1990)