Omar Al-Bataineh

From MaRDI portal
Person:507599

Available identifiers

zbMath Open al-bataineh.omarMaRDI QIDQ507599

List of research outcomes





PublicationDate of PublicationType
Finding minimum and maximum termination time of timed automata models with cyclic behaviour2017-02-06Paper
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour2016-01-06Paper
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices2015-08-06Paper

Research outcomes over time

This page was built for person: Omar Al-Bataineh

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