Simplifying Runtime Verification of Distributed Programs, Fachbücher

Simplifying Runtime Verification Of Distributed Programs Ameliorating

Runtime Verification of Information flow, Fachbücher

Extending KeY for the Verification of C Programs, Fachbücher

Post-Silicon and Runtime Verification for Modern Processors, Fachbücher

Dynamic Slicing of Programs under Distributed Environment, Fachbücher

Program Dependences, Slicing, and Verification, Fachbücher

Evaluating Adult Distributed Training Programs, Fachbücher

Mohamed Khalefa Sarrab | Runtime Verification Of Information Flow |

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, Fachbücher

Verification Of Business Rules Programs 2262

Verification Of Sequential And Concurrent Programs 1319

Sarfaz Khurshid (u. A.) | Runtime Verification | Taschenbuch |

Dana Fisman (u. A.) | Runtime Verification | Taschenbuch | Englisch

Runtime Verification Third International Conference, Rv 2012,

Runtime adaptation of technical systems, Fachbücher