Advances in Verification of Time Petri Nets and Timed Automata by Wojciech P and Agata pdf free download. Verification of real-time systems is an important subject of research. This is highly motivated by an increasing demand to verify safety-critical systems, i.e., time-dependent distributed systems, failure of which could cause dramatic consequences for both people and hardware. Temporal logic methods have been used for verification over the last twenty years, proving their usefulness for such an application.
Advances in Verification of Time Petri Nets and Timed Automata by Wojciech P and Agata pdf free download
Please make a comment if the link is not working for you.
I appreciate your valuable comments and suggestions. For more books please visit our site.