Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Proceedings Paper

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim 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.

This list was generated on Sun Feb 23 00:55:08 2020 GMT.