Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design.

P. Larsen, J. Fitzgerald, J. Woodcock, R. Nilsson, C. Gamble, und S. Foster. ISoLA (2), Volume 9953 von Lecture Notes in Computer Science, Seite 171-186. (2016)

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.

John Nixon University of Stuttgart

Isaac Henderson Johnson Jeyakumar University of Stuttgart

S. Schumann

S. Seemann

S. Wartzack

Weitere Publikationen von Autoren mit dem selben Namen

A formal approach to collaborative modelling and co-simulation for embedded systems.J. Fitzgerald, P. Larsen, K. Pierce, und M. Verhoef. Mathematical Structures in Computer Science, 23 (4): 726-750 (2013)Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software.A. McGough, B. Arief, C. Gamble, D. Wall, J. Brennan, J. Fitzgerald, A. van Moorsel, S. Alwis, G. Theodoropoulos, und E. Ruck-Keene. JoWUA, 6 (4): 3-46 (2015)The overture initiative integrating tools for VDM.P. Larsen, N. Battle, M. Ferreira, J. Fitzgerald, K. Lausdahl, und M. Verhoef. ACM SIGSOFT Software Engineering Notes, 35 (1): 1-6 (2010)Practice-oriented courses in formal methods using VDM++.P. Larsen, J. Fitzgerald, und S. Riddle. Formal Asp. Comput., 21 (3): 245-257 (2009)SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study.C. Ingram, S. Riddle, J. Fitzgerald, S. Al-Lawati, und A. Alrbaiyan. CoRR, (2014)Reasoning about a Modular Model-Oriented Formal Specification.J. Fitzgerald. Specifications of Database Systems, Springer, (1992)Co-modelling of Faults and Fault Tolerance Mechanisms.C. Gamble, K. Pierce, J. Fitzgerald, und B. Bos. Collaborative Design for Embedded Systems, Springer, (2014)Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design.P. Larsen, J. Fitzgerald, J. Woodcock, R. Nilsson, C. Gamble, und S. Foster. ISoLA (2), Volume 9953 von Lecture Notes in Computer Science, Seite 171-186. (2016)Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.H. Macedo, P. Larsen, und J. Fitzgerald. FM, Volume 5014 von Lecture Notes in Computer Science, Seite 181-197. Springer, (2008)A Formal Model-Based Approach to Engineering Systems-of-Systems.J. Fitzgerald, J. Bryans, und R. Payne. PRO-VE, Volume 380 von IFIP Advances in Information and Communication Technology, Seite 53-62. Springer, (2012)