Formal Transformation of Platform Independent Models into Platform Specific Models

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
Editors: Julliand J, Kouchnarenko O
Publisher: Springer-Verlag
Publication year: 2007
Publisher: Springer
Book title: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
Title of series: Lecture Notes in Computer Science
Number in series: 4355
Start page: 186
End page: 200
ISBN: 978-3-540-68760-3
eISBN: 978-3-540-68761-0
ISSN: 0302-9743

Last updated on 2019-18-09 at 05:36