When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Subtitle Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Model Checking: One Can Do Much More Than You Think! -Nested Dynamic Condition Response Graphs.-Efficient Verification of Evolving Software Product Lines.-Extending Interface Automata with Z Notation.-A Specification Language for Reo Connectors.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.