Temporal Verification of Reactive Systems: Safety

Name: Temporal Verification of Reactive Systems: Safety
Brand: Springer
SKU: 25e03683e38c2d1030b9baf2dc0e5653

1/1

Prices from

56.84

Featured

Description

Temporal Verification of Reactive Systems: Safety

Compare webshops (2)

Sort by:

£ 56.84

£ 56.95

Description (0)

Temporal Verification of Reactive Systems: Safety

Brand	Springer
EAN	9780387944593

Cambridge University Press

Reactive Systems: Modelling, Specification and Verification

Springer

Verification of Autonomous Systems

BestAI Press

Scalable Oversight of AI Systems: Verification, Discriminating Power, and Safety Assurance

Independently Published

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning...