Home
Browse
Search
Latest additions
Policies
FAQ
About Open Access
Browse by Author
Browse by Year
Browsing publications by
Dr Peter Larsen
Newcastle Authors
Title
Year
Professor John Fitzgerald
Dr Ken Pierce
Dr Peter Larsen
A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems
2013
Professor John Fitzgerald
Dr Peter Larsen
Features of CML: A formal modelling language for Systems of Systems
2012
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems
2011
Dr Peter Larsen
Professor John Fitzgerald
Are Formal Methods Ready for Agility? A Reality Check
2011
Dr Peter Larsen
Professor John Fitzgerald
Are Formal Methods Ready for Agility? A Reality Check
2010
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
Collaborative modelling and co-simulation in the development of dependable embedded systems
2010
Dr Peter Larsen
Professor John Fitzgerald
The Overture Initiative Integrating Tools for VDM
2010
Dr Peter Larsen
Professor John Fitzgerald
Formal Methods: Practice and Experience
2009
Professor John Fitzgerald
Dr Peter Larsen
Industrial Practice in Formal Methods: A Review
2009
Professor John Fitzgerald
Dr Peter Larsen
Methods for the Development of Distributed Real-Time Embedded Systems using VDM
2009
1
2
3
4
