Zoekresultaten
Resultaat 1 - 20 (van 30)
B. Gebremichael | F.W. Vaandrager Control synthesis for a smart card personalization system using symbolic model checking
Non-fictie
Engels | 24 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2003
Gedrukt boek
A. Fehnker | F.W. Vaandrager | M. Zhang Modeling and verifying a Lego car using hybrid I/O automata
Non-fictie
Engels | 18 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2003
Gedrukt boek
N.A. Lynch | R. Segala | F.W. Vaandrager Hybrid I/O automata
Non-fictie
Engels | 65 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2002
Gedrukt boek
D. Griffioen | F.W. Vaandrager A theory of normed simulations
Non-fictie
Engels | 29 pagina's | Computing Science Institute, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
M.I.A. Stoelinga | F.W. Vaandrager Root contention in IEEE 1394
Non-fictie
Engels | 25 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
Jan Springintveld | F.W. Vaandrager | P.R. D'Argenio Testing timed automata
Non-fictie
Engels | Centre for Telematics and Information Technology, Enschede | 1997
Gedrukt boek
J.M.T. Romijn | F.W. Vaandrager A note on fairness in I/O automata
Non-fictie
Engels | 8 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
R.J. van Glabbeek | F.W. Vaandrager The difference between splitting in n and n+l
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
F.W. Vaandrager Verification of a distributed summation algorithm
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
N.A. Lynch | F.W. Vaandrager Action transducers and timed automata
Non-fictie
Engels | 40 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
D.J.B. Bosscher | I. Polak | F.W. Vaandrager Verification of an audio control protocol
Non-fictie
Engels | 29 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
H. Helmink-Habes | M.P.A. Sellink | F.W. Vaandrager Proof-checking a data link protocol
Non-fictie
Engels | 41 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
N.A. Lynch | F.W. Vaandrager Forward and backward simulations
Non-fictie
Engels | 35 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
N.A. Lynch | F.W. Vaandrager Forward and backward simulations
Non-fictie
Engels | 36 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
F.W. Vaandrager Expressiveness results for process algebras
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
A. Jeffrey | S.A. Schneider | F.W. Vaandrager A comparison of additivity axioms in timed transition systems
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
L. Aceto | B. Bloom | F.W. Vaandrager Turning SOS rules into equations
Non-fictie
Engels | 44 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
J.C.M. Baeten | F.W. Vaandrager An algebra for process creation
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1991
Gedrukt boek
J.F. Groote | F.W. Vaandrager An efficient algorithm for branching bisimulation and stuttering equivalence
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
R. De Nicola | F.W. Vaandrager Three logics for branching bisimulation
Non-fictie
Engels | 28 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek