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

  1. Lookup NU author(s)
  2. Professor John Fitzgerald
  3. Dr Peter Larsen
  4. Dr Ken Pierce
Author(s)Fitzgerald JS, Larsen PG, Pierce KG, Verhoef MHG
Publication type Article
JournalMathematical Structures in Computer Science
Year2013
Volume23
Issue4
Pages726-750
ISSN (print)0960-1295
ISSN (electronic)1469-8072
Full text is available for this publication:
PublisherCambridge University Press
URLhttp://dx.doi.org/10.1017/S0960129512000242
DOI10.1017/S0960129512000242
Actions    Link to this publication
Share