Service-oriented decomposition and verification of hybrid system models using feature models and contracts
Liebrenz T, Herber P, Glesner S
Forschungsartikel (Zeitschrift) | Peer reviewedDetails 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
Link zum Volltext: https://doi.org/10.1016/j.scico.2021.102694
Autor*innen der Universität Münster
| Herber, Paula | |
| Liebrenz, Timm |