Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
Testing real-time systems using UPPAAL
Formal methods and testing
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |