Verification of a fieldbus scheduling protocol using timed automata

Bibliographic Details
Main Author:	Petalidis, Nicholaos (Author)
Format:	Article
Language:	Slovak English
Subjects:	priemyselné zbernice zbernicové protokoly rozvrhovacie protokoly formálna verifikácia časované automaty systémy pracujúce v reálnom čase štúdie

Similar Items