Safe and Constructive Design with UML Components

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_15 ◽

2018 ◽

pp. 234-251

Author(s):

Flávia Falcão ◽

Lucas Lima ◽

Augusto Sampaio

Download Full-text