Concepedia

Testing timed automata

Jan Springintveld, Frits Vaandrager, Pedro R. D’Argenio

Theoretical Computer Science · 2001 · 276 citations · 15 references

DOI

References

15

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

, , +9

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

, , +1

Testing Software Design Modeled by Finite-State Machines

Tsun S. Chow · IEEE Transactions on Software Engineering · 1978 · 1.4K citations

, , +15

On "Software engineering"

E. N. Miya · ACM SIGSOFT Software Engineering Notes · 1985 · 1.1K citations · Full text

, , +10

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text

, , +16