Concepedia
Statistics
Publications
1
Citations
15
H-Index
Active since
1999
Affiliations
IMEC(Current)
Probhat Avasare is an author at IMEC specializing in formal methods, system software, and formal verification.
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