Functional Analysis of a Real-Time Protocol for Networked Control Systems

From MaRDI portal
Publication:3522927

DOI10.1007/11901914_33zbMATH Open1161.68321OpenAlexW1538451099MaRDI QIDQ3522927FDOQ3522927


Authors: Yu-Chu Tian, Colin Fidge Edit this on Wikidata


Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://eprints.qut.edu.au/5404/1/5404.pdf




Recommendations




Cited In (7)

Uses Software





This page was built for publication: Functional Analysis of a Real-Time Protocol for Networked Control Systems

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