Testing and incremental conformance testing of timed state machines

Autor:	Tvardovskii, Aleksandr, El-Fakih, Khaled, Yevtushenko, Nina
Zdroj:	In Science of Computer Programming March 2024 233
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect