Valeria Bertacco (u. A.) | Post-silicon And Runtime Verification For

Post-silicon And Runtime Verification For Modern Processors Bertacco

Scott A. Smolka (u. A.) | Runtime Verification | Taschenbuch |

Rupak Majumdar (u. A.) | Runtime Verification | Taschenbuch | Englisch

Giles Reger (u. A.) | Runtime Verification | Taschenbuch | Englisch

Runtime Verification | Dejan Ni¿kovi¿ (u. A.) | Taschenbuch |

Lectures On Runtime Verification Introductory And Advanced Topics 4960

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

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

Automated Technology For Verification And Analysis | Chao Wang (u. A.)

Tevfik Bultan (u. A.) | String Analysis For Software Verification And

Runtime Verification Dana Fisman (u. A.) Taschenbuch Paperback Xii

Runtime Verification Third International Conference, Rv 2012,

Simplifying Runtime Verification Of Distributed Programs | Eslam Al

Runtime Verification 16th International Conference, Rv 2016, Madrid,

Runtime Verification 4th International Conference, Rv 2013, Rennes,