Simplifying Runtime Verification of Distributed Programs: Ameliorating the State Space Explosion Problem

Name: Simplifying Runtime Verification of Distributed Programs: Ameliorating the State Space Explosion Problem
Brand: VDM Verlag

£41.00

Pages: 112, Paperback, VDM Verlag Dr. Müller

Pages: 112, Paperback, VDM Verlag Dr. Müller

Price now:

Amazon

Simplifying Runtime Verification of Distributed Programs: Ameliorating the State Space Explosion Problem

Amazon

£41.00

Runtime Verification of Information flow: Policy-Based Runtime Verification of Information Flow Control

Amazon

£69.00

Breaking Barriers in HW-to-SW Stack Verification: Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation

Amazon

£99.99

Routes ouvertes Designer simplifié

Amazon

£26.00

Solid Edge 2026 Simplifié

Amazon

£20.05