There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 21

Record: found
Abstract: not found
Article: not found

A theory of timed automata

Rajeev Alur, David Dill (1994)

0 comments Cited 139 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Testing timed automata

Pedro R. D'Argenio, Frits Vaandrager, Jan Springintveld (2001)

0 comments Cited 23 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Black-Box Conformance Testing for Real-Time Systems

Moez Krichen, Stavros Tripakis (2004)

0 comments Cited 17 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2006

Pages: 324-340

DOI: 10.1007/11754008_21

SO-VID: 2b753a34-8b0a-4669-9392-42bd425d14d2

History

Data availability:

Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 21

A theory of timed automata

Testing timed automata

Black-Box Conformance Testing for Real-Time Systems

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,656