Static analysis of real-time component-based systems configurations

DOI10.1016/S0167-6423(02)00085-0zbMath1026.68096OpenAlexW2688496021MaRDI QIDQ1870849

Flavio Corradini, Paola Inverardi, Candida Attanasio

Publication date: 14 May 2003

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(02)00085-0

zbMATH Keywords

real-time systemsstatic analysissystem configuration

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: Static analysis of real-time component-based systems configurations