scientific article; zbMATH DE number 1949604

MaRDI QIDQ4412502zbMATH OpenFDO

Authors Guangyuan Li, Zhisong Tang

Publication date 15 July 2003

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Translating a continuous-time temporal logic into timed automata.
• Logical specification of reactive and real-time systems
• scientific article; zbMATH DE number 4128370
• Timed modal logics for real-time systems. Specification, verification and control
• scientific article; zbMATH DE number 1693545

Cited in

(10)

• On clock-aware LTL parameter synthesis of timed automata
• Modelling timed reactive systems from natural-language requirements
• The transition rules model for real-time process control
• scientific article; zbMATH DE number 4087001 (Why is no real title available?)
• Logical specification of reactive and real-time systems
• scientific article; zbMATH DE number 1949608 (Why is no real title available?)
• scientific article; zbMATH DE number 2166721 (Why is no real title available?)
• Theoretical Aspects of Computing – ICTAC 2005
• Translating a continuous-time temporal logic into timed automata.
• Real-time specification and modeling with joint actions

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