Login / Signup
Towards Arguing the Cost-effectiveness of Coloured Petri Nets.
Jens Bæk Jørgensen
Published in:
Software Engineering Research and Practice (2005)
Keyphrases
</>
cost effectiveness
coloured petri nets
cost effective
formal verification
e learning
real time
email
low cost
data center
model checking
metro ethernet