Mohammad Mahdi Jaghoori

From MaRDI portal
Person:530208

Available identifiers

zbMath Open jaghoori.mohammad-mahdiMaRDI QIDQ530208

List of research outcomes





PublicationDate of PublicationType
Compositional schedulability analysis of real-time actor-based systems2017-06-09Paper
Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability2012-06-29Paper
Symmetry and partial order reduction techniques in model checking Rebeca2010-02-05Paper
Modular Schedulability Analysis of Concurrent Objects in Creol2010-01-28Paper
Schedulability of asynchronous real-time concurrent objects2009-07-20Paper

Research outcomes over time

This page was built for person: Mohammad Mahdi Jaghoori

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:530208&oldid=7010413"
Powered by MediaWiki