Modular Nonblocking Verification Using Conflict Equivalence
Paper i proceeding, 2006
Nonblocking
conflicts
discrete event systems
verification
minimisation
Författare
Hugo Flordal
Chalmers, Signaler och system, System- och reglerteknik
Malik Malik
Publicerad i
8th International Workshop on Discrete Event Systems (WODES'06)
s. 100-106
Kategorisering
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)