scientific article; zbMATH DE number 5044784

MaRDI QIDQ5481427zbMATH OpenFDO

Authors Carsten Sühl

Publication date 9 August 2006

Full work available at URL http://opus.kobv.de/tuberlin/frontdoor.php?source_opus=481

zbMATH Keywords

formal methodsreal-time systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2086956
• scientific article; zbMATH DE number 1487726
• Embedding time granularity in a logical specification language for synchronous real-time systems
• A specification-oriented semantics for the refinement of real-time systems
• scientific article; zbMATH DE number 1693544
• scientific article; zbMATH DE number 49713
• Specification and compositional verification of real-time systems

Cited in

(4)

• An overview of the integrated formalism RT-Z
• scientific article; zbMATH DE number 1693544 (Why is no real title available?)
• scientific article; zbMATH DE number 1487726 (Why is no real title available?)
• scientific article; zbMATH DE number 1487730 (Why is no real title available?)

This page was built for publication:

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