Can SysML Be Used for Enterprise Modelling?

Kimberly Lai Michael Gruninger

Published in: PoEM (2021)

Keyphrases

formal methods
schema integration
safety analysis
modeling language
control system
symbolic model checking
knowledge based systems
integrity constraints
object oriented databases
safety critical
real time
model checking
real world
knowledge base
website
formal specification