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.
By Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn. - Analysis and Verification of Discrete-Event Systems. - WCET Prediction for Embedded Processors Using an ADL. - Calculating State Spaces of Hierarchical Petri Nets Using BDD.
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.