×

Found 21 Documents (Results 1–21)

A method for testing the conformance of real time systems. (English) Zbl 1278.68036

Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 331-351 (2002).
MSC:  68M15 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Fault diagnosis for timed automata. (English) Zbl 1278.68140

Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 205-221 (2002).
MSC:  68Q45 68M15
PDFBibTeX XMLCite
Full Text: DOI

Decidability of safety properties of timed multiset rewriting. (English) Zbl 1278.68128

Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 165-183 (2002).
MSC:  68Q42 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

From the specification to the scheduling of time-dependent systems. (English) Zbl 1278.68182

Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 129-145 (2002).
MSC:  68Q60 68M20 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Minimum-cost reachability for priced timed automata. (English) Zbl 0991.68037

Di Benedetto, Maria Domenica (ed.) et al., Hybrid systems: Computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2034, 147-161 (2002).
MSC:  68Q45 90C27 68M20
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Main Field

all top 3

Software