Real-time systems design with PEP

DOI10.1007/3-540-46002-0_35MaRDI QIDQ4472266zbMATH OpenFDO

Authors Christian Stehno

Publication date 4 August 2004

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/2280/22800476.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Pervasive verification of distributed real-time systems
• Verification of timed and hybrid systems
• UPPAAL -- now, next, and future
• Model-checking for real-time systems
• TAXYS: A tool for the development and verification of real-time embedded systems

Cited in

(2)

• TIMES -- a tool for modelling and implementation of embedded systems
• Integrating on-line performance visualization and real-time system design

Describes a project that uses

Uses Software

• PEP

This page was built for publication: Real-time systems design with PEP

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