Skip to main navigation Skip to search Skip to main content

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

  • 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, p. 329-354 26 p.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations

  • 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, p. 39-53 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8415 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    20 Scopus citations

  • Challenges in engineering cyber-physical systems

    Broy, M. & Schmidt, A., Feb 2014, Computer, 47, 2, p. 70-72 3 p.

    Research output: Contribution to specialist publication › Article

    81 Scopus citations
View all 181 Research outputs