Paul Regnier

From MaRDI portal
Person:298046

Available identifiers

zbMath Open regnier.paulMaRDI QIDQ298046

List of research outcomes





PublicationDate of PublicationType
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems2016-06-20Paper
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol2015-03-19Paper
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach2014-07-14Paper

Research outcomes over time

This page was built for person: Paul Regnier

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