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

Verifying Temporal Properties of Systems

From Barnes and Noble
Multi-Valued Reasoning about Reactive Systems
Barnes and Noble

Multi-Valued Reasoning about Reactive Systems

From Barnes and Noble
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications
Barnes and Noble

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications

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

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

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

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

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

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

From Barnes and Noble
Requirements Engineering for Safety-Critical Systems
Barnes and Noble

Requirements Engineering for Safety-Critical Systems

From Barnes and Noble
Temporal Logic of Programs
Barnes and Noble

Temporal Logic of Programs

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

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

From Barnes and Noble
Privacy in Dynamical Systems
Barnes and Noble

Privacy in Dynamical Systems

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

Security and Resilience of Control Systems: Theory Applications

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

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

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

Dynamic Systems with Time Delays: Stability and Control

From Barnes and Noble
Robustness of Dynamic Systems with Parameter Uncertainties
Barnes and Noble

Robustness of Dynamic Systems with Parameter Uncertainties

From Barnes and Noble
Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines
Barnes and Noble

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

From Barnes and Noble
Powered by Adeptmind