Formal Model-Driven Development of Communicating Systems

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Editors: Lau K, Banach R
Publisher: Springer
Publication year: 2005
Publisher: Springer
Book title: Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005
Title of series: Lecture Notes in Computer Science
Number in series: 3785
Volume number: 3785
Start page: 188
End page: 203
ISBN: 978-3-540-29797-0
eISBN: 978-3-540-32250-4
ISSN: 0302-9743

Last updated on 2019-17-09 at 05:30