Concepedia
Statistics
Publications
1
Citations
15
H-Index
Active since
1999
Affiliations
IMEC(Current)
Michiel Esvelt is an author at IMEC specializing in formal verification, system software, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisParallel ComputingFormal VerificationSystems EngineeringComputer Engineering
Publications per year
1999–1999
Timed executable system specification of an ADSL modem using a C++ based design environment
D. Desmet, Michiel Esvelt, Probhat Avasare et al. · 1999 · 15 citations
Hardware Modeling, Engineering, Functional Refinement +23
1–1 of 1