Dr. J.M.T. Romijn

Pagina-navigatie:

filter results

Type

Date

Accessibility

Institution

1-10 out of 18 results by:date

Save search results

Preface (2007)

Authors: Romijn, Judi; Smith, Graeme; Pol, van de Jaco; Romijn, J.M.T.; Smith, G.; Pol, J.C.

Abstract:
Editorial preface for doctoral symposium affiliated with the conference on integrated formal methods.
Assertion-based proof checking of Chang-Roberts leader election in PVS (2007)Open access

Authors: Wesselink, JW (Wieger); Romijn, JMT (Judi); Mooij, AJ (Arjan)
Preface (Special issue on the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005 (Eindhoven, The Netherlands, November 29, 2005)) (2007)

Authors: Romijn, JMT (Judi); Smith, G (Graeme); Pol, van de JC (Jaco)
In: Electronic Notes in Theoretical Computer Science, 191, 1. ISSN 1571-0061.
Realizability criteria for compositional MSC (2006)Open access

Authors: Mooij, AJ (Arjan); Romijn, JMT (Judi); Wesselink, JW (Wieger)
Realizability criteria for compositional MSC (2006)

Authors: Mooij, AJ (Arjan); Romijn, JMT (Judi); Wesselink, JW (Wieger)
Non-local choice and beyond : intricacies of MSC choice nodes (2005)

Authors: Mooij, AJ (Arjan); Goga, N (Nicolae); Romijn, JMT (Judi)
IFM2005 doctoral symposium on integrated formal methods, Eindhoven, The Netherlands, November 29, 2005 : Integrated formal methods : IFM2005 doctoral symposium (2005)Open access

Authors: Romijn, JMT (Judi); Smith, G (Graeme); Pol, van de JC (Jaco)
Improving the quality of protocol standards : correcting IEEE 1394.1 FireWire net update (2004)

Author: Romijn, JMT (Judi)
In: Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 8, 23
Guiding Spin simulation (2004)

Authors: Goga, N (Nicolae); Romijn, JMT (Judi)
False loop detection in the IEEE 1394 tree identify phase (2003)

Author: Romijn, JMT (Judi)
In: Formal Aspects of Computing, 14(3), 319. ISSN 0934-5043.

Authors:	Romijn, Judi; Smith, Graeme; Pol, van de Jaco; Romijn, J.M.T.; Smith, G.; Pol, J.C.

Authors:	Wesselink, JW (Wieger); Romijn, JMT (Judi); Mooij, AJ (Arjan)

Authors:	Romijn, JMT (Judi); Smith, G (Graeme); Pol, van de JC (Jaco)
In:	Electronic Notes in Theoretical Computer Science, 191, 1. ISSN 1571-0061.

Authors:	Mooij, AJ (Arjan); Romijn, JMT (Judi); Wesselink, JW (Wieger)

Authors:	Mooij, AJ (Arjan); Romijn, JMT (Judi); Wesselink, JW (Wieger)

Authors:	Mooij, AJ (Arjan); Goga, N (Nicolae); Romijn, JMT (Judi)

Authors:	Romijn, JMT (Judi); Smith, G (Graeme); Pol, van de JC (Jaco)

Author:	Romijn, JMT (Judi)
In:	Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 8, 23

Authors:	Goga, N (Nicolae); Romijn, JMT (Judi)

Author:	Romijn, JMT (Judi)
In:	Formal Aspects of Computing, 14(3), 319. ISSN 0934-5043.

Pages:

previous

< 1 2 >

Dr. J.M.T. Romijn

1-10 out of 18 results by:date

Abstract: