Universität Münster
CRIS@UM
DE | EN

Service-oriented decomposition and verification of hybrid system models using feature models and contracts

Liebrenz T, Herber P, Glesner S

Forschungsartikel (Zeitschrift) | Peer reviewed

Details zur Publikation

Fachzeitschrift: Science of Computer Programming (Sci. Comput. Programming)
Jahrgang / Bandnr. / Volume: 211
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
DOI: 10.1016/j.scico.2021.102694
Link zum Volltext: https://doi.org/10.1016/j.scico.2021.102694

Autor*innen der Universität Münster

Herber, Paula
Professur für Praktische Informatik (Prof. Herber)
Liebrenz, Timm
Professur für Praktische Informatik (Prof. Herber)