( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Development of Object-Based Systems in a Temporal Logic Setting.

, и . FMOODS, том 139 из IFIP Conference Proceedings, стр. 419-436. Kluwer, (1999)

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.

Friedrich W Tucher von Simmelsdorf

Friedrich Karl Henke

Friedrich Wilhelm Henke

Reinhard W von Meiss

Friedrich W Mohr

 

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

Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen., и . GI Jahrestagung, том 78 из Lecture Notes in Economics and Mathematical Systems, стр. 63-71. Springer, (1972)An Algebraic Approach to Data Types, Program Verification, and Program Synthesis.. MFCS, том 45 из Lecture Notes in Computer Science, стр. 330-336. Springer, (1976)From formal verification to silicon compilation., , , , , и . Compcon, стр. 450-455. IEEE Computer Society, (1991)Towards Light-Weight Verification and Heavy-Weight Testing., , , и . Tool Support for System Specification, Development and Verification, стр. 189-200. Springer, (1998)Formal Development of Object-Based Systems in a Temporal Logic Setting., и . FMOODS, том 139 из IFIP Conference Proceedings, стр. 419-436. Kluwer, (1999)Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata., , и . ICALP, стр. 549-561. North-Holland, Amsterdam, (1972)Formal Transformations and the Development of Programs.. MFCS, том 53 из Lecture Notes in Computer Science, стр. 288-296. Springer, (1977)Putting Software Technology to Work.. IFIP Congress (3), том A-53 из IFIP Transactions, стр. 345-350. North-Holland, (1994)Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned., , , и . FME, том 670 из Lecture Notes in Computer Science, стр. 482-500. Springer, (1993)Program verification at Stanford., и . ACM SIGSOFT Softw. Eng. Notes, 6 (3): 25-27 (1981)