From the Specification to the Scheduling of Time-Dependent Systems

DOI10.1007/3-540-45739-9_10zbMath1278.68182OpenAlexW1607563191MaRDI QIDQ5392287

Jean-Pierre Courtiat, Christophe Lohr

Publication date: 8 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45739-9_10

zbMATH Keywords

process algebratimed automatatemporal consistencyminimal reachability graphRT-Lotostime labeled scheduling automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: From the Specification to the Scheduling of Time-Dependent Systems