Term validation of distributed hard real-time applications

DOI10.1007/3-540-44977-9_27MaRDI QIDQ4418624zbMATH OpenFDO

Authors Gaëlle Largeteau, Dominique Geniet

Publication date 11 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2608/26080262.htm

Mathematics Subject Classification ID

Distributed systems (68M14) Formal languages and automata (68Q45)

Recommendations

• Pervasive verification of distributed real-time systems
• scientific article; zbMATH DE number 1497794
• Discrete Geometry for Computer Imagery
• Modular abstractions for verifying real-time distributed systems
• TAXYS: A tool for the development and verification of real-time embedded systems

Cited in

(6)

• Experimental analysis of timing validation methods for distributed real-time systems
• A Framework for Distributing Real-Time Functions
• Data constraints for validation of real-time software
• IF-2.0: A validation environment for component-based real-time systems
• Distributed embedded systems -- validation strategies.
• Discrete Geometry for Computer Imagery

This page was built for publication: Term validation of distributed hard real-time applications

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