Verification of a fieldbus scheduling protocol using timed automata

Bibliographic Details
Main Author:	Petalidis, Nicholaos (Author)
Format:	Article
Language:	Slovak English
PhysicalDescription:	Sch., tab.
ISSN:	1335-9150
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