Reflections on the standardization of SysML 2.

Jeff Gray Bernhard Rumpe

Published in: Softw. Syst. Model. (2021)

Keyphrases

formal methods
safety analysis
modeling language
international standard
evolutionary algorithm
nuclear power plant
real world
social networks
decision support system