Symbolic quality control for multimedia applications
From MaRDI portal
Publication:944000
DOI10.1007/s11241-008-9049-2zbMath1167.68329OpenAlexW1981540382MaRDI QIDQ944000
Loïc Strus, Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis
Publication date: 12 September 2008
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11241-008-9049-2
Related Items (2)
Stability of adaptive feedback-based resource managers for systems with execution time variations ⋮ Rigorous implementation of real-time systems – from theory to application
Cites Work
This page was built for publication: Symbolic quality control for multimedia applications
