Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 3. 2010
Broenink, J.F. and Larsen, P.G and Verhoef, M. and Kleijn, C. and Jovanović, D.S. and Pierce, K. and Wouters, F.
(2010)
Design Support and Tooling for Dependable Embedded Control Systems.
In: 2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010, 13-16 Apr 2010, London, UK.
ACM.
ISBN 978-1-4503-0289-0
2008
Blom, S.C.C. and van de Pol, J.C.
(2008)
Symbolic Reachability for Process Algebras with Recursive Data Types.
In: Theoretical Aspects of Computing - ICTAC 2008, 1-3 Sep 2008, Istanbul, Turkey.
pp. 81-95.
Lecture Notes in Computer Science 5160.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-85761-7
2005
Bohnenkamp, H.C. and Belinfante, A.F.E.
(2005)
Timed Testing with TorX.
In: Formal Methods Europe (FME), 18-22 July 2005, Newcastle, UK.
pp. 173-188.
Lecture Notes in Computer Science 3582.
Springer-Verlag.
ISSN 0302-9743
ISBN 3-540-27882-6
This list was generated on Thu May 24 06:14:26 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||