Collaborative modelling and co-simulation in the development of dependable embedded systems

  1. Lookup NU author(s)
  2. Professor John Fitzgerald
  3. Dr Peter Larsen
  4. Dr Ken Pierce
Author(s)Fitzgerald J, Larsen P, Pierce K, Verhoef M, Wolff S
Editor(s)Méry, D., Merz, S.
Publication type Conference Proceedings (inc. Abstract)
Conference NameIntegrated Formal Methods: 8th International Conference (IFM 2010)
Conference LocationNancy, France
Year of Conference2010
Date11-14 October 2010
Volume6396
Pages12-26
Series TitleLecture Notes in Computer Science
03029743
ISBN9783642162657
Full text is available for this publication:
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-642-16265-7_2
DOI10.1007/978-3-642-16265-7_2
Actions    Link to this publication
Library holdingsSearch Newcastle University Library for this item