Dynamic scheduling and fault-tolerance: Specification and verification

DOI10.1023/A:1026537232278zbMath0963.68016OpenAlexW1518769161WikidataQ58894996 ScholiaQ58894996MaRDI QIDQ1595890

Mathai Joseph, Tomasz Janowski

Publication date: 18 February 2001

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026537232278

zbMATH Keywords

timed modal logicreal-time distributed systemstimed process algebradistributed real-time programprovable fault-toleranceprovable schedulability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

This page was built for publication: Dynamic scheduling and fault-tolerance: Specification and verification