Computer-Aided Verification: A Special Issue of Formal Methods In System Design
167,39 €
Although her emphasis is hardware verification, most of what she reports applies to software verification as well. The second paper presents a generic format for graphical presentations of coordinating systems represented by automata.
Jetzt bei Ebay:
