The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Advances in Temporal Logic / Edition 1

Advances in Temporal Logic / Edition 1

Barnes and Noble
Verifying Temporal Properties of Systems

Verifying Temporal Properties of Systems

Barnes and Noble
A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata

A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata

Barnes and Noble
Timed Petri Nets: Theory and Application / Edition 1

Timed Petri Nets: Theory and Application / Edition 1

Barnes and Noble
Concurrency and Nets: Advances in Petri Nets

Concurrency and Nets: Advances in Petri Nets

Barnes and Noble
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1

Barnes and Noble
Temporal Logic of Programs

Temporal Logic of Programs

Barnes and Noble
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Barnes and Noble
Chronicles: Formalization of a Temporal Model

Chronicles: Formalization of a Temporal Model

Barnes and Noble
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets

Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets

Barnes and Noble
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Barnes and Noble
Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Barnes and Noble
Advances in Linear Logic

Advances in Linear Logic

Barnes and Noble
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems / Edition 1

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems / Edition 1

Barnes and Noble
Compositional Verification of Concurrent and Real-Time Systems / Edition 1

Compositional Verification of Concurrent and Real-Time Systems / Edition 1

Barnes and Noble
Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Barnes and Noble
Powered by Adeptmind