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
Barnes and Noble

Advances in Temporal Logic / Edition 1

From Barnes and Noble
Verifying Temporal Properties of Systems
Barnes and Noble

Verifying Temporal Properties of Systems

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

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

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

Timed Petri Nets: Theory and Application / Edition 1

From Barnes and Noble
Concurrency and Nets: Advances in Petri Nets
Barnes and Noble

Concurrency and Nets: Advances in Petri Nets

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

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

From Barnes and Noble
Temporal Logic of Programs
Barnes and Noble

Temporal Logic of Programs

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

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

From Barnes and Noble
Chronicles: Formalization of a Temporal Model
Barnes and Noble

Chronicles: Formalization of a Temporal Model

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

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

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

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

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

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

From Barnes and Noble
Advances in Linear Logic
Barnes and Noble

Advances in Linear Logic

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

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

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

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

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

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

From Barnes and Noble
Powered by Adeptmind