Autor der Publikation

Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort.

, und . SCS, Volume 33 von CRPIT, Seite 3-23. Australian Computer Society, (2003)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Risks of Technological Remedy.. Commun. ACM, 40 (11): 160 (1997)The Fukushima Accident.. SSS, Seite 189-207. Springer, (2012)From logic to manuals again., und . IEE Proc. Softw. Eng., 144 (3): 185-192 (1997)The Completeness of a Natural System for Reasoning with Time Intervals.. IJCAI, Seite 462-465. Morgan Kaufmann, (1987)Causal Analysis of the ACAS/TCAS Sociotechnical System.. SCS, Volume 47 von CRPIT, Seite 3-12. Australian Computer Society, (2004)Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+., und . FBT, Volume 315 von GMD-Studien, Seite 79-88. GMD-Forschungszentrum Informationstechnik GmbH, (1997)Models of Axioms for Time Intervals.. AAAI, Seite 234-239. Morgan Kaufmann, (1987)Static analysis of multiway synchronization., und . CASCON, Seite 39. IBM, (1994)From logic to manuals., und . Softw. Eng. J., 11 (6): 347-354 (1996)Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies., , und . SSS, Seite 95-115. Springer, (2009)