( en | de | ru )

 

Disambiguation of "von Henke, Friedrich W."

Author of the publication

copydeleteadd this publication to your clipboard
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.

, , , , , , and . FTCS, page 68-75. IEEE Computer Society, (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. You can also use the button next to the name to display some publications already assigned to the person.

Friedrich W Tucher von Simmelsdorf

Friedrich Karl Henke

Friedrich Wilhelm Henke

Reinhard W von Meiss

Friedrich W Mohr

 

Other publications of authors with the same name

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