Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2010
Belinfante, A.F.E.
(2010)
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution.
In: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, 22-25 March 2010, Paphos, Cyprus.
pp. 266-270.
Lecture Notes in Computer Science 6015.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-12001-5
Neuhausser, M. and Zhang, Lijun
(2010)
Model Checking Interactive Markov Chains.
In: 16th International Conferenceon Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, 20-28 Mar 2010, Paphos, Cyprus.
pp. 53-68.
Lecture Notes in Computer Science 6015.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-12001-5
This list was generated on Thu May 24 06:11:11 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||