Specification and timing analysis of real-time systems

DOI10.1023/B:TIME.0000033379.78994.1AzbMath1067.68030OpenAlexW2002664313MaRDI QIDQ1770567

Shuhua Wang, Grace Tsai

Publication date: 7 April 2005

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

Full work available at URL: https://doi.org/10.1023/b:time.0000033379.78994.1a

zbMATH Keywords

real-time systemsspecificationallocationschedulability analysisfunctional and timing requirements

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (1)

Formal verification of multitasking applications based on timed automata model

This page was built for publication: Specification and timing analysis of real-time systems