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

Home

Barnes and Noble

Temporal Verification of Reactive Systems: Safety

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

You May Also Like

Verifying Temporal Properties of Systems

Verifying Temporal Properties of Systems

Barnes and Noble
Multi-Valued Reasoning about Reactive Systems

Multi-Valued Reasoning about Reactive Systems

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
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

Barnes and Noble
Model-Based Testing of Reactive Systems: Advanced Lectures / Edition 1

Model-Based Testing of Reactive Systems: Advanced Lectures / Edition 1

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

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

Barnes and Noble
Requirements Engineering for Safety-Critical Systems

Requirements Engineering for Safety-Critical Systems

Barnes and Noble
Temporal Logic of Programs

Temporal Logic of Programs

Barnes and Noble
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout / Edition 1

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout / Edition 1

Barnes and Noble
Semi-Markov Models: Control of Restorable Systems with Latent Failures

Semi-Markov Models: Control of Restorable Systems with Latent Failures

Barnes and Noble
Privacy in Dynamical Systems

Privacy in Dynamical Systems

Barnes and Noble
Security and Resilience of Control Systems: Theory Applications

Security and Resilience of Control Systems: Theory Applications

Barnes and Noble
Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification

Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification

Barnes and Noble
Dynamic Systems with Time Delays: Stability and Control

Dynamic Systems with Time Delays: Stability and Control

Barnes and Noble
Robustness of Dynamic Systems with Parameter Uncertainties

Robustness of Dynamic Systems with Parameter Uncertainties

Barnes and Noble
Effective Functional Verification: Principles and Processes

Effective Functional Verification: Principles and Processes

Barnes and Noble
Powered by Adeptmind