Registered user since Tue 3 Mar 2026
Name:Muhammad Naeem
Country:Sweden
Affiliation:Mälardalen University, Västerås, Sweden
Personal website: https://www.es.mdu.se/staff/5358-Muhammad_Naeem
Research interests:Formal modeling and verification of embedded systems
Contributions
FM 2026-profile
View general profile
View general profile