Temporal Verification of Reactive Systems: Safety

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

1/1

Prices from

55.70

Featured

Description

Temporal Verification of Reactive Systems: Safety

Compare webshops (2)

Shop

Price

£ 55.70

To Shop

£ 55.70

To Shop

Description (0)

Temporal Verification of Reactive Systems: Safety

Brand	Springer
EAN	9780387944593

Cambridge University Press

Reactive Systems: Modelling, Specification and Verification

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...

Springer

Functional Verification of Dynamically Reconfigurable FPGA-based Systems