( en | de | ru )

 

Disambiguierung von "von Henke, Friedrich W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.

, , , , , , und . IEEE Trans. Computers, 51 (2): 164-179 (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Friedrich W Tucher von Simmelsdorf

Friedrich Karl Henke

Friedrich Wilhelm Henke

Reinhard W von Meiss

Friedrich W Mohr

 

Weitere Publikationen von Autoren mit dem selben Namen

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