Service-oriented decomposition and verification of hybrid system models using feature models and contracts
Liebrenz T, Herber P, Glesner S
Research article (journal) | Peer reviewedDetails 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
Link to the full text: https://doi.org/10.1016/j.scico.2021.102694
Authors from the University of Münster
| Herber, Paula | |
| Liebrenz, Timm |