Items where authors include "Nilsson, Rene"

Proceedings Paper

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (3 more authors) (2016) Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. UNSPECIFIED. , pp. 171-186.