Publikationen pro Jahr
Publikationen pro Jahr
-
Pragmatic formal specification of system properties by tables: Dedicated to Martin Wirsing on the occasion of his emeritation
Broy, M., 2015, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8950, S. 329-354 26 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
1 Zitat (Scopus) -
A model of dynamic systems
Broy, M., 2014, From Programs to Systems: The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Proceedings. Springer Verlag, S. 39-53 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8415 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access20 Zitate (Scopus) -
Challenges in engineering cyber-physical systems
Broy, M. & Schmidt, A., Feb. 2014, Computer, 47, 2, S. 70-72 3 S.Publikation: Beitrag in Periodikum › Artikel
78 Zitate (Scopus)