×

Found 4 Documents (Results 1–4)

Contracts for schedulability analysis. (English) Zbl 1465.90032

Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 270-287 (2015).
MSC:  90B35
PDFBibTeX XMLCite
Full Text: DOI HAL

Automating verification of cooperation, control, and design in traffic applications. (English) Zbl 1151.68476

Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 115-169 (2007).
PDFBibTeX XMLCite
Full Text: DOI

On the verification of cooperating traffic agents. (English) Zbl 1104.68526

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4–7, 2003. Revised lectures. Berlin: Springer (ISBN 3-540-22942-6/pbk). Lecture Notes in Computer Science 3188, 77-110 (2004).
MSC:  68Q60 68T99 90B20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software