Formal Semantics of a VDM Extension for Distributed Embedded Systems-Reference-Cited by-同舟云学术

Formal Semantics of a VDM Extension for Distributed Embedded Systems

Published:2010 Issue: Volume: Page:142-161
ISSN:0302-9743
Container-title:Concurrency, Compositionality, and Correctness
language:
Short-container-title:

Author:

Hooman Jozef,Verhoef Marcel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-11512-7_10

Reference23 articles.

1. Hooman, J., Mulyar, N., Posta, L.: Coupling Simulink and UML models. In: Schnieder, B., Tarnai, G. (eds.) FORMS/FORMATS 2004, pp. 304–311 (2004)

2. The Mathworks: Matlab/Simulink (2008), http://www.mathworks.com/

3. Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis: a case study. International Journal of Software Tools for Technology Transfer (STTT) 8(6), 649–667 (2006)

4. Verhoef, M.: On the use of VDM++ for specifying real-time systems. In: Fitzgerald, J., Larsen, P.G., Plat, N. (eds.) Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, June 2006. CS-TR 969, pp. 26–43. School of Computing Science, Newcastle University (2006)

5. Lecture Notes in Computer Science;M. Verhoef,2006

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A formal approach to collaborative modelling and co-simulation for embedded systems;Mathematical Structures in Computer Science;2013-07-08

2. The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems;International Journal on Software Tools for Technology Transfer;2012-07-18

3. Models of Rate Restricted Communication for Concurrent Objects;Electronic Notes in Theoretical Computer Science;2011-08

4. A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM;Formal Methods and Software Engineering;2011

5. Concurrent Objects à la Carte;Concurrency, Compositionality, and Correctness;2010