Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring
Alves, M. C. Bergue, Drusinsky, D., Michael, J. B., Man-Tak Shing
Published in 2011 6th International Conference on System of Systems Engineering (01.06.2011)
Published in 2011 6th International Conference on System of Systems Engineering (01.06.2011)
Get full text
Conference Proceeding