J.W.C. Koorn is an author at Utrecht University specializing in system software, formal methods, and computer engineering.
Top concepts
EngineeringReliabilityVerificationFormal MethodsSafety ScienceProcess ControlRisk ManagementSystem SoftwareComputer ScienceFormal Verification
Publications per year
1994–2002
3
3
The safety guaranteeing system at station Hoorn-Kersenboogerd
Jan Friso Groote, S.F.M. van Vlijmen, J.W.C. Koorn · 1994 · 23 citations · Full text
Rows per page
1–3 of 3