May 2007
First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) (VECOS)
Verification and Evaluation of Computer and Communication Systems
5-6 May 2007
Petri nets, observers, fault detection, backward search, occurrence nets
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/