A Unified Approach for Modeling, Developing, and Assuring Critical Systems.

John Hatcliff Brian R. Larson Jason Belt Robby Yi Zhang

Published in: ISoLA (1) (2018)

Keyphrases

computer systems
learning systems
data mining
search algorithm
management system
distributed systems
complex systems
modeling framework
systems require