ePrints

A formal approach to collaborative modelling and co-simulation for embedded systems

Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen, Dr Ken Pierce

Downloads

• Published version [.pdf]

Publication metadata

Author(s): Fitzgerald JS, Larsen PG, Pierce KG, Verhoef MHG

Publication type: Article

Publication status: Published

Journal: Mathematical Structures in Computer Science

Year: 2013

Volume: 23

Issue: 4

Pages: 726-750

Print publication date: 08/07/2013

Date deposited: 09/07/2013

ISSN (print): 0960-1295

ISSN (electronic): 1469-8072

Publisher: Cambridge University Press

URL: http://dx.doi.org/10.1017/S0960129512000242

DOI: 10.1017/S0960129512000242

Altmetrics

Share