×

Found 6 Documents (Results 1–6)

Comparing the expressiveness of timed automata and timed extensions of Petri nets. (English) Zbl 1171.68579

Cassez, Franck (ed.) et al., Formal modeling and analysis of timed systems. 6th international conference, FORMATS 2008, Saint Malo, France, September 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85777-8/pbk). Lecture Notes in Computer Science 5215, 15-32 (2008).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI

The coarsest congruence for timed automata with deadlines contained in bisimulation. (English) Zbl 1134.68383

Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 125-140 (2005).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

The IF toolset. (English) Zbl 1105.68352

Bernardo, Marco (ed.) et al., Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13–18, 2004. Revised lectures. Berlin: Springer (ISBN 3-540-23068-8/pbk). Lecture Notes in Computer Science 3185, 237-267 (2004).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Optimization of timed automata models using mixed-integer programming. (English) Zbl 1099.68674

Larsen, Kim G. (ed.) et al., Formal modeling and analysis of timed systems. First international workshop, FORMATS 2003, Marseille, France, September 6–7, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21671-5/pbk). Lecture Notes in Computer Science 2791, 73-87 (2004).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software