Dr. J.M.T. Romijn

Update Persondata

• tree

Publications

(the most recent at the top)

Preface

Assertion-based proof checking of Chang-Roberts leader election in PVS

Preface (Special issue on the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005 (Eindhoven, The Netherlands, November 29, 2005))

Realizability criteria for compositional MSC

Realizability criteria for compositional MSC

All publications..

Completed research projects

(the most recent research is at the top)
Project leader	Improving the quality of protocol standards
Researcher	Specification, testing and verification of software for technical applications (STVSTA)