Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems.

Benjamin Lanier Leonard Petnga

Published in: SoSE (2019)

Keyphrases

safety critical
management system
knowledge representation
data model
semi automatic
artificial intelligence
information systems
open source
formal methods
nuclear power plant
safety analysis