Login / Signup

Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.

Lisa WellsThomas Maier
Published in: ICATPN (2005)
Keyphrases