Gerald H. Hilderink

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Gerald H. Hilderink
Software Specification Refinement and Verification Method with I-Mathic Studio. CPA (2006)
Gerald H. Hilderink
Exception Handling Mechanism in Communicating Threads for Java. CPA (2005)
Gerald H. Hilderink
Graphical modelling language for specifying concurrency based on CSP. IEE Proc. Softw. 150 (2) (2003)
Gerald H. Hilderink, Andry W. P. Bakkers, Jan F. Broenink
A Distributed Real-Time Java System Based on CSP. ISORC (2000)