SOLUTIONS - Software - Software for Checking Statecharts
NASA tech briefs ; 28 , 1
2004
Article (Journal)
English
Auto-coding UML statecharts for flight software
IEEE | 2006
|The use of statecharts in developing body electronics software
Tema Archive | 1993
|NTRS | 1986
|Model checking large software specifications
Tema Archive | 1997
|Software model checking for avionics systems
IEEE | 2008
|