Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 5. 2009
Wijs, A.J. and van de Pol, J.C. and Bortnik, E.M.
(2009)
Solving scheduling problems by untimed model checking. The clinical chemical analyser case study.
International journal on software tools for technology transfer, 11 (5).
pp. 375-392.
ISSN 1433-2779
Groothuis, M.A. and Frijns, R.M.W. and Voeten, J.P.M. and Broenink, J.F.
(2009)
Concurrent Design of Embedded Control Software.
In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM2009), 6 Oct 2009, Denver, United States.
10.
Electronic Communications of the EASST 21.
EASST.
ISSN 1863-2122
2001
Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M.
(2001)
First passage time analysis of stochastic process algebra using partial orders.
In: Tools and Algorithms for the Construction and Analysis of Systems.
pp. 220-235.
Lecture Notes in Computer Science 2031.
Springer.
ISSN 0302-9743
ISBN 3-540-41865-2
1996
Tretmans, G.J.
(1996)
Test Generation with Inputs, Outputs, and Quiescence.
In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, March 27-29, 1996, Passau, Germany.
pp. 127-146.
Lecture Notes in Computer Science 1055.
Springer Verlag.
ISBN 3-540-61042-1
1995
Mader, A.H.
(1995)
Modal µ-Calculus, Model Checking and Gauß Elimination.
In: 1st Int. Workshop Tools and Algorithms for Construction and Analysis of Systems (TACAS), Aarhus, Denmark.
pp. 72-88.
Springer-Verlag.
ISBN 3-540-60630-0
This list was generated on Thu May 24 07:15:26 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||