Supporting the monitoring of the verification process of critical systems'software.

Julio Escribano-Barreno Marisol García-Valls

Published in: CoRR (2015)

Keyphrases

computer systems
decision support
commercial software
distributed systems
real time
complex systems
formal methods
industrial strength
process automation
safety critical
software packages
support systems
software developers
embedded systems
development process
process model
software development