University of 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

Research article (journal) | Peer reviewed

Details about the publication

Journal: Science of Computer Programming (Sci. Comput. Programming)
Volume: 211
Status: Published
Release year: 2021
Language in which the publication is written: English
DOI: 10.1016/j.scico.2021.102694
Link to the full text: https://doi.org/10.1016/j.scico.2021.102694

Authors from the University of Münster

Herber, Paula
Professorship for practical comuter science
Liebrenz, Timm
Professorship for practical comuter science