Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2011
Sijtema, M. and Stoelinga, M.I.A. and Belinfante, A.F.E. and Marinelli, L.
(2011)
Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.
In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 29-30 Aug 2011, Trento, Italy.
pp. 117-133.
Lecture Notes in Computer Science 6959.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-24430-8
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||