From UML to Petri Nets for non functional Property Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. From UML to Petri Nets for non functional Property Verification. In International Symposium on Industrial Embedded Systems, IES 2006, Antibes Juan-Les-Pins, France, October 18-20, 2006. pages 1-9, IEEE, 2006. [doi]

This author has not been identified. Look up 'Frédéric Mallet' in GoogleThis author has not been identified. Look up 'Marie-Agnès Peraldi-Frati' in GoogleThis author has not been identified. Look up 'Charles André' in Google

runs on WebDSL