Mohammad Mousavi

Mohammad Mousavi is a professor of Computer Systems Engineering at Halmstad University. He received his Ph.D. in Computer Science in 2005 from TU Eindhoven. Since then, he has been postdoctoral researcher at Reykjavik University, and assistant and associate professor at TU Eindhoven, He specializes in model-based testing and verification. He is the co-author of more than 100 chapters and scientific papers and a book on "Modeling and Analysis of Communicating Systems."

Sort options

System Validation (Canvas Network)

Self Paced
System Validation (Canvas Network)
Free Course
Canvas Network
Halmstad University
Categories
CS: Systems, Security & Networking
Effort
Self-Paced
Self-Study
Languages
English
System Validation (Canvas Network)
Anyone who has ever designed an embedded system or a communication protocol involving several components executing simultaneously knows that such software is inherently susceptible to bugs. Typical problems include race conditions, deadlocks, and unexpected interplay between different components. The parallel nature of these systems makes it notoriously hard to [...]
System Validation
Embedded Systems
View more details
Self Paced
Free Course
Canvas Network
Halmstad University
CS: Systems, Security & Networking
Self-Paced
Self-Study
English