A new method for transforming timed automata
From MaRDI portal
Publication:2848435
zbMATH Open1272.68211MaRDI QIDQ2848435FDOQ2848435
Authors: Ahmed Khoumsi, Lucien Ouedraogo 
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002173
Recommendations
- SetExp: a method of transformation of timed automata into finite state automata
- A Method for Testing the Conformance of Real Time Systems
- scientific article; zbMATH DE number 1507209
- scientific article; zbMATH DE number 2102690
- A new method for centralised and modular supervisory control of real-time discrete event systems
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (5)
- SetExp: a method of transformation of timed automata into finite state automata
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Title not available (Why is that?)
- Towards an Efficient Tree Automata based technique for Timed Systems
This page was built for publication: A new method for transforming timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848435)
