( en | de | ru )

 

Disambiguierung von "Ladkin, Peter B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Static Deadlock Analysis for CSP-Type Communications.

, und . Responsive Computer Systems, Volume 297 von The Kluwer/Springer International Series in Engineering and Computer Science, Kluwer / Springer US, (1995)

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.

Hans-Peter B Stutz

B Hause

B Klösgen

B Wiederanders

B Strauß

 

Weitere Publikationen von Autoren mit dem selben Namen

The Fukushima Accident.. SSS, Seite 189-207. Springer, (2012)From logic to manuals again., und . IEE Proc. Softw. Eng., 144 (3): 185-192 (1997)Risks of Technological Remedy.. Commun. ACM, 40 (11): 160 (1997)Causal Analysis of the ACAS/TCAS Sociotechnical System.. SCS, Volume 47 von CRPIT, Seite 3-12. Australian Computer Society, (2004)The Completeness of a Natural System for Reasoning with Time Intervals.. IJCAI, Seite 462-465. Morgan Kaufmann, (1987)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)Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies., , und . SSS, Seite 95-115. Springer, (2009)From logic to manuals., und . Softw. Eng. J., 11 (6): 347-354 (1996)