Projects per year
Original language | English |
---|---|
Title of host publication | Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures |
Editors | Zhiming Liu, Jim Woodcock, Huibiao Zhu |
Publisher | Springer |
Pages | 109-155 |
Number of pages | 47 |
Volume | 8050 |
DOIs | |
Publication status | Published - 2013 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Bibliographical note
© 2013 Springer-Verlag Berlin Heidelberg. This is an author-produced version of the published chapter. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.Projects
- 1 Finished
-
COMPASS: Comprehensive Modelling for Advanced Systems of Systems
1/10/11 → 30/09/14
Project: Research project (funded) › Research