[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets
Ciardo, Gianfranco, Darondeau, PhilippeVolume:
10.1007/b1
Year:
2005
Language:
english
DOI:
10.1007/11494744_23
File:
PDF, 211 KB
english, 2005