( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
High integrity software development: process and tool issues.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

-R H Hopf

Morgan Pierce

Sebastian H R Müller

R H W Hoppe

Michael H R Eichbaum

 

Другие публикации лиц с тем же именем

Tool Support for High Integrity Ada Software., , , , , и . Ada-Europe, том 887 из Lecture Notes in Computer Science, стр. 63-75. Springer, (1994)Object-Oriented Design of an Air-Defence Simulator., , и . Ada-Europe, том 688 из Lecture Notes in Computer Science, стр. 114-124. Springer, (1993)Source Language Debugging on a Small Computer.. Comput. J., 17 (4): 313-317 (1974)Accessible Formal Method Support for PLC Software Development., и . SAFECOMP, стр. 113-127. Springer, (1995)Capturing and Verifying Performance Requirements for Hard Real Time Systems., , , , , и . Ada-Europe, том 1251 из Lecture Notes in Computer Science, стр. 137-148. Springer, (1997)The Safety Management of Data-Driven Safety-Related Systems., , , , и . SAFECOMP, том 1943 из Lecture Notes in Computer Science, стр. 86-95. Springer, (2000)A Transformation-Directed Compiling System., и . Comput. J., 20 (2): 109-115 (1977)High integrity software development: process and tool issues., , , , , и . Microprocess. Microsystems, 19 (9): 517-524 (1995)On the use of passive tasks in Ada.. IRTAW, стр. 121-123. ACM, (1987)Ada in the ECLIPLSE project support environment.. SIGAda, стр. 309-320. Cambridge University Press, (1985)