Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic
151,85 €
Model Generation and Verification. - Abstract Models. - Explicit Verification. - Verification Based on Satisfiability Checking. nite abstract m- els can be veri'ed using algorithmic approaches.
Jetzt bei Ebay:
