Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2005
Brandán Briones, L. and Brinksma, H.
(2005)
Testing multi input-output real-time systems.
In: Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, 1-4 Nov 2005, Manchester, UK.
pp. 264-279.
Lecture Notes in Computer Science 3785.
Springer Verlag.
ISBN 3 540 29797 9
This list was generated on Thu May 24 05:28:26 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||