Login / Signup
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.
Jing Liu
Josh Dehlinger
Hongyu Sun
Robyn R. Lutz
Published in:
ECBS (2007)
Keyphrases
</>
safety critical
software product line
support systems
decision support
decision making
fault tolerant
future directions
formal methods
real time
databases
information systems
learning environment
object oriented
medical images
life cycle
agent architecture