An automated qualitative analysis of real-time systems using Timed Petri net and SPIN.

Autor:	Shailesh, Tanuja1 (AUTHOR), Nayak, Ashalatha1 (AUTHOR), Prasad, Devi2 (AUTHOR)
Zdroj:	Cogent Engineering. 2024, Vol. 11 Issue 1, p1-17. 17p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.