Login / Signup
Towards an Extensible Architecture and Tool Support for Model-Based Verification.
David Delgado
Lola Burgueño
Javier Cámara
Javier Troya
Published in:
MoDELS (Companion) (2023)
Keyphrases
</>
tool support
software tools
software development
design decisions
real time
management system
model checking
databases
network architecture
data model
test set
software architecture
distributed systems
software engineering
object oriented
markup language
face verification
colored petri nets