Verification and Simulation of Time-Domain Properties for Models of Behaviour

von Carrillo, Miguel
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) Model-driven engineering and software development (2021)

Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules

von Carrillo, Miguel
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020 (2020)