A hybrid language for modeling, simulation and verification

R.R.H. Schiffelers, D.A. Beek, van, K.L. Man, M.A. Reniers, J.E. Rooda

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'A hybrid language for modeling, simulation and verification'. Together they form a unique fingerprint.

Computer Science