( en | de | ru )

 

Disambiguation of "von Henke, Friedrich W."

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned.

, , , and . FME, volume 670 of Lecture Notes in Computer Science, page 482-500. Springer, (1993)

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

An Overview of Anna, a Specification Language for Ada., and . IEEE Software, 2 (2): 9-22 (1985)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)Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS., , , and . IEEE Trans. Software Eng., 21 (2): 107-125 (1995)Formal Verification of Algorithms for Critical Systems., and . IEEE Trans. Software Eng., 19 (1): 13-23 (1993)From formal verification to silicon compilation., , , , , and . Compcon, page 450-455. IEEE Computer Society, (1991)Modular formal analysis of the central guardian in the Time-Triggered Architecture., and . Reliab. Eng. Syst. Saf., 92 (11): 1538-1550 (2007)Towards Light-Weight Verification and Heavy-Weight Testing., , , and . Tool Support for System Specification, Development and Verification, page 189-200. Springer, (1998)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)On primitive recursive wordfunctions., , , and . Computing, 15 (3): 217-234 (1975)Putting Software Technology to Work.. IFIP Congress (3), volume A-53 of IFIP Transactions, page 345-350. North-Holland, (1994)