Faculty of Mathematics and Computing Science, TU/e. 2001-12 A.T. Hofkamp. Reactive machine control: A simulation approach using χ. Faculty of Mechanical Engineering, TU/e. 2001-13 D. Boˇsnački. Enhancing state space reduction techniques for model checking (0)

by M C van Wezel
Venue:Neural Networks for Intelligent Data Analysis: theoretical and experimental aspects. Faculty of Mathematics and Natural Sciences, UL
Add To MetaCart
Results 1 - 5 of 5

On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling

by Falk Bartels , 2004
"... ..."
Abstract - Cited by 31 (0 self) - Add to MetaCart
Abstract not found

Cover design by Maja Sokolova, adaptation by Jan-Willem Luiten CIP-DATA LIBRARY TECHNISCHE UNIVERSITEIT EINDHOVEN

by Typeset Using L Atex, Sokolova Ana, Coalgebraic Ana, Sokolova Eindhoven
"... ter verkrijging van de graad van doctor aan de ..."
Abstract - Add to MetaCart
ter verkrijging van de graad van doctor aan de

geboren te Barcelonapromotor: prof.dr. W.J. Fokkink copromotor: dr. J.C. van de PolModal Abstraction and Replication of Processes with Data

by Academisch Proefschrift, Miguel Ángel, Valero Espada, Miguel Valero, Miguel Valero
"... ter verkrijging van de graad Doctor aan ..."
Abstract - Add to MetaCart
ter verkrijging van de graad Doctor aan

Validation of Stochastic Systems (VOSS,VOSS2).Reconciling Nondeterministic and Probabilistic Choices

by Typeset L Atexe, Cover Jesse Hughes, Wiskunde En Informatica, Ling Cheung
"... The work on this thesis has been carried out under the auspices of the research ..."
Abstract - Add to MetaCart
The work on this thesis has been carried out under the auspices of the research

REAL-TIME AND COVERAGE

by Graduation Committee, Prof Dr, H. Brinksma, Prof Dr, J. W. Fokkink, Prof Dr, P. H. Hartel, Prof Dr, K. G. Larsen, Dr. Ir, A. Rensink, Dr. M. I. A. Stoelinga, Dr. Ir, J. Tretmans, Dr. W. Visser, Laura Brandán Briones
"... Research and Algorithmics (IPA) research school and within the context of the Center ..."
Abstract - Add to MetaCart
Research and Algorithmics (IPA) research school and within the context of the Center