×

Found 5 Documents (Results 1–5)

Automata and logics over signals. (English) Zbl 1256.68099

D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 555-582 (2012).
MSC:  68Q45 03D05 03B44
PDFBibTeX XMLCite
Full Text: DOI Link

Counter-free input-determined timed automata. (English) Zbl 1142.68039

Raskin, Jean-François (ed.) et al., Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75453-4/pbk). Lecture Notes in Computer Science 4763, 82-97 (2007).
MSC:  68Q45 03B44
PDFBibTeX XMLCite
Full Text: DOI

On continuous timed automata with input-determined guards. (English) Zbl 1177.68136

Arun-Kumar, S. (ed.) et al., FSTTCS 2006: Foundations of software technology and theoretical computer science. 26th international conference, Kolkata, India, December 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-49994-7/pbk). Lecture Notes in Computer Science 4337, 369-380 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Fault diagnosis using timed automata. (English) Zbl 1118.68374

Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 219-233 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field