A Verifiable Language for Programming Real-Time Communication Schedules

DOI10.1109/TC.2007.70747MaRDI QIDQ4564238zbMATH OpenOpenAlexFDO

Authors Sebastian Fischmeister, Oleg Sokolsky, Insup Lee

Publication date 12 June 2018

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2007.70747

Mathematics Subject Classification ID

Theory of programming languages (68N15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Network design and communication in computer systems (68M10) Distributed systems (68M14)

Cited in

(1)

• A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol

This page was built for publication: A Verifiable Language for Programming Real-Time Communication Schedules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4564238)