Formal Model-Driven Development of Communicating Systems-Reference-Cited by-同舟云学术

Formal Model-Driven Development of Communicating Systems

Published:2005 Issue: Volume: Page:188-203
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Laibinis Linas,Troubitsyna Elena,Leppänen Sari,Lilius Johan,Malik Qaisar

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11576280_14.pdf

Reference16 articles.

1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)

2. Lecture Notes in Computer Science;P. Boström,2005

3. Facon, P., et al.: Combining UML with the B formal method for the specification of database applications. Research report, CEDRIC laboratory, Paris (1999)

4. Lecture Notes in Computer Science;P. Behm,1999

5. Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J., Malik, Q.: Formal Model-Driven Development of Communicating Systems. TUCS Technical Report No. 691. Finland (2005)

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

1. Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study;Urban Rail Transit;2022-11-08

2. Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B;Lecture Notes in Computer Science;2012

3. Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems;Methods, Models and Tools for Fault Tolerance;2009

4. Formal Model-Driven Development of Communicating Systems;Formal Methods and Software Engineering;2005

5. A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems;Model Driven Engineering Languages and Systems