Timed extensions for SDL

DOI10.1007/3-540-48213-X_14MaRDI QIDQ2779769zbMATH OpenFDO

Authors Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux

Publication date 15 April 2002

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/2078/20780223

zbMATH Keywords

SDL, time semantics, timed automata, urgencies

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2043468
• scientific article; zbMATH DE number 1951532
• A general approach for the specification of real-time systems with SDL
• scientific article; zbMATH DE number 1951533
• Integrating schedulability analysis and design techniques in SDL

Cited in

(10)

• Integrating schedulability analysis and design techniques in SDL
• Verification of quantitative temporal properties of SDL specifications
• A general approach for the specification of real-time systems with SDL
• Specification of Timed EFSM Fault Models in SDL
• scientific article; zbMATH DE number 1231671 (Why is no real title available?)
• scientific article; zbMATH DE number 1951532 (Why is no real title available?)
• scientific article; zbMATH DE number 1951533 (Why is no real title available?)
• scientific article; zbMATH DE number 2043460 (Why is no real title available?)
• scientific article; zbMATH DE number 2043469 (Why is no real title available?)
• A completely open source based computing system for computer generation of Fourier holograms

This page was built for publication: Timed extensions for SDL

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