×

Found 8 Documents (Results 1–8)

Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. (English) Zbl 1502.68030

Lecture Notes in Computer Science 12302. Cham: Springer (ISBN 978-3-030-59151-9/pbk; 978-3-030-59152-6/ebook). xiv, 574 p. (2020).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. (English) Zbl 1291.68023

Lecture Notes in Computer Science 8172. Berlin: Springer (ISBN 978-3-319-02443-1/pbk). xiv, 528 p. (2013).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

On verification of linear occurrence properties of real-time systems. (English) Zbl 1279.68201

Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 107-120 (2008).
MSC:  68Q60 03B70 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Verification of linear duration invariants by model checking CTL properties. (English) Zbl 1161.68595

Fitzgerald, John S. (ed.) et al., Theoretical aspects of computing – ICTAC 2008. 5th international colloquium, Istanbul, Turkey, September 1–3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85761-7/pbk). Lecture Notes in Computer Science 5160, 395-409 (2008).
MSC:  68Q60 03B44 03B70
PDFBibTeX XMLCite
Full Text: DOI

A theory of duration calculus with application. (English) Zbl 1145.03310

George, Chris W. (ed.) et al., Domain modeling and the duration calculus. International training school, Shanghai, China, September 17–21. 2007. Advanced lectures. Berlin: Springer (ISBN 978-3-540-74963-9/pbk). Lecture Notes in Computer Science 4710, 119-176 (2007).
MSC:  03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

An optimal approach to hardware/software partitioning for synchronous model. (English) Zbl 1196.68136

Boiten, Eerke A. (ed.) et al., Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21377-5/pbk). Lecture Notes in Computer Science 2999, 363-381 (2004).
MSC:  68Q60 68M20 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Real-time systems development with duration calculi: an overview. (English) Zbl 1274.68192

Aichernig, Bernhard K. (ed.) et al., Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18–20, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20527-6/pbk). Lect. Notes Comput. Sci. 2757, 81-96 (2003).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI

Prefix and projection onto state in duration calculus. (English) Zbl 1270.68169

Asarin, Eugene (ed.) et al., TPTS’2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 6, 101-119 (2002).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Volume

all top 5

Year of Publication

Main Field

all top 3

Software