[IEEE 2012 7th International Conference on System of Systems Engineering (SoSE) - Genova (2012.07.16-2012.07.19)] 2012 7th International Conference on System of Systems Engineering (SoSE) - Extending VDM-RT to enable the formal modelling of System of Systems
Nielsen, Claus Ballegaard, Larsen, Peter GormYear:
2012
Language:
english
DOI:
10.1109/sysose.2012.6384156
File:
PDF, 348 KB
english, 2012