scientific article; zbMATH DE number 2196154

zbMATH Open1077.68053MaRDI QIDQ5465010FDOQ5465010

Authors: Georios Logothetis 

Publication date: 19 August 2005

Full work available at URL: http://ces.univ-karlsruhe.de/Publications/cgi-bin/jahr_logo.cgi

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1001709
• scientific article; zbMATH DE number 5181779
• Real-Time Systems
• scientific article; zbMATH DE number 53319
• Compositional verification of real-time systems with explicit clock temporal logic

zbMATH Keywords

equinoxtimed Kripke structures

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Real-Time Systems
• Optimization of resource control for transitions in complex systems
• Methodologies for specification of real-time systems using timed I/O automata
• Specification and Proof in Real Time CSP

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 Q5465010)