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

Heterogeneous Semantics and Unifying Theories.

J. Woodcock, S. Foster, und A. Butterfield. ISoLA (1), Volume 9952 von Lecture Notes in Computer Science, Seite 374-394. (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.

Univ. -Prof. Dr. James Foster University of Stuttgart

Hon. -Prof. Dr. -Ing. Volker Simon University of Stuttgart

Univ. -Prof. Dr. -Ing. Sven Simon University of Stuttgart

Adina Lucia Simonovic University of Stuttgart

Kai Simon University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

COMPASS tool vision for a system of systems Collaborative Development Environment.J. Coleman, A. Malmos, P. Larsen, J. Peleska, R. Hainsz, Z. Andrews, R. Payne, S. Foster, A. Miyazawa, C. Bertolinik und 1 andere Autor(en). SoSE, Seite 451-456. IEEE, (2012)An Axiomatic Value Model for Isabelle/UTP.F. Zeyda, S. Foster, und L. Freitas. UTP, Volume 10134 von Lecture Notes in Computer Science, Seite 155-175. Springer, (2016)Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?M. Gleirscher, S. Foster, und J. Woodcock. CoRR, (2018)Unifying Heterogeneous State-Spaces with Lenses.S. Foster, F. Zeyda, und J. Woodcock. ICTAC, Volume 9965 von Lecture Notes in Computer Science, Seite 295-314. (2016)A compositional semantic theory for service composition.S. Foster. University of Sheffield, UK, (2010)British Library, EThOS.Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial).S. Foster, G. Struth, und T. Weber. RAMICS, Volume 6663 von Lecture Notes in Computer Science, Seite 52-67. Springer, (2011)Integration of CERIF, ESB and Cloud in the Development of a National Global Research and Administrative Management System.Y. Wang, S. Kerridge, P. Smith, S. Foster, S. Coppin, und S. Trowell. MTSR, Volume 240 von Communications in Computer and Information Science, Seite 245-255. Springer, (2011)Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.S. Foster, J. Baxter, A. Cavalcanti, A. Miyazawa, und J. Woodcock. FACS, Volume 11222 von Lecture Notes in Computer Science, Seite 137-155. Springer, (2018)Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.S. Foster, M. Gleirscher, und R. Calinescu. ICECCS, Seite 113-118. IEEE, (2020)Unifying Theories of Reactive Design Contracts.S. Foster, A. Cavalcanti, S. Canham, J. Woodcock, und F. Zeyda. CoRR, (2017)