×

Found 7 Documents (Results 1–7)

Interchange format for hybrid systems: Abstract semantics. (English) Zbl 1178.93105

Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 491-506 (2006).
MSC:  93C95 68Q05 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). (English) Zbl 1107.68385

Foundations and Trends in Electronic Design Automation. Boston, MA: now (ISBN 1-933019-28-X/pbk). x, 194 p. (2006).
MSC:  68M99 68U20 68Q65 68-01
PDFBibTeX XMLCite
Full Text: DOI

Causality and scheduling constraints in heterogeneous reactive systems modeling. (English) Zbl 1104.68406

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, 1-16 (2004).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Latency insensitive protocols. (English) Zbl 1046.68585

Halbwachs, Nicolas (ed.) et al., Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Berlin: Springer (ISBN 3-540-66202-2). Lect. Notes Comput. Sci. 1633, 123-133 (1999).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software