Modeling and Verifying Dynamic Architectures with FACTum Studio

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_13 ◽

2020 ◽

pp. 243-251

Author(s):

Habtom Kahsay Gidey ◽

Alexander Collins ◽

Diego Marmsoler

Download Full-text