( en | de | ru )

 

Disambiguation of "von Henke, Friedrich W."

Author of the publication

copydeleteadd this publication to your clipboard
ANNA - A Language for Annotating Ada Programs, Reference Manual

, , , and . Lecture Notes in Computer Science Springer, (1987)

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

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)On primitive recursive wordfunctions., , , and . Computing, 15 (3): 217-234 (1975)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 Overview of Anna, a Specification Language for Ada., and . IEEE Software, 2 (2): 9-22 (1985)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)Formal Verification of Algorithms for Critical Systems., and . IEEE Trans. Software Eng., 19 (1): 13-23 (1993)Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS., , , and . IEEE Trans. Software Eng., 21 (2): 107-125 (1995)Putting Software Technology to Work.. IFIP Congress (3), volume A-53 of IFIP Transactions, page 345-350. North-Holland, (1994)