Distributed implementation of systems with multiparty interactions and priorities. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 38-57 (2011).
1
Building distributed controllers for systems with priorities. (English)
J. Log. Algebr. Program. 80, No. 3-5, 194-218 (2011).
2
Distributed implementation of systems with multiparty interactions and priorities (English)
SEFM, 38-57 (2011).
3
Reasoning about safety and progress using contracts. (English)
Dong, Jin Song (ed.) et al., Formal methods and software engineering. 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16900-7/pbk). Lecture Notes in Computer Science 6447, 436-451 (2010).
4
Implementing distributed controllers for systems with priorities (English)
FOCLASA, 31-46 (2010).
5
Reasoning about safety and progress using contracts (English)
ICFEM, 436-451 (2010).
6
io-port 50354874 Passerone, Roberto;
Ben Hafaiedh, Imene;
Graf, Susanne;
Benveniste, Albert;
Cancila, Daniela;
Cuccuru, Arnaud;
Gerard, Sebastien;
Terrier, François;
Damm, Werner;
Ferrari, Alberto;
Mangeruca, Leonardo;
Josko, Bernhard;
Peikenkamp, Thomas;
Sangiovanni-Vincentelli, Alberto L.
Metamodels in Europe: languages, tools, and applications (English)
IEEE Design & Test of Computers 26, No. 3, 38-53 (2009).
7
Start
Contact
Print
General Help
