Formal Model-Driven Development of Communicating Systems

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Redaktörer: Lau K, Banach R
Förläggare: Springer
Publiceringsår: 2005
Förläggare: Springer
Moderpublikationens namn: Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005
Seriens namn: Lecture Notes in Computer Science
Nummer i serien: 3785
Volym: 3785
Artikelns första sida, sidnummer: 188
Artikelns sista sida, sidnummer: 203
ISBN: 978-3-540-29797-0
eISBN: 978-3-540-32250-4
ISSN: 0302-9743

Senast uppdaterad 2019-12-12 vid 03:58