Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Model Checking Abstract State Machines 6717

Verification, Model Checking, And Abstract Interpretation 14th

Fritz Henglein (u. A.) | Verification, Model Checking, And Abstract...

Deepak D'souza (u. A.) | Verification, Model Checking, And Abstract...

Xavier Rival (u. A.) | Verification, Model Checking, And Abstract

Agostino Cortesi | Verification, Model Checking, And Abstract

Distributed Abstract State Machine For Grid Services A Formal Method

Klaus-dieter Schewe (u. A.) | Abstract State Machines, Alloy, B, Tla,

Abstract State Machines, Alloy, B, Tla, Vdm, And Z 6th International

Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...

Lenore D. Zuck (u. A.) | Verification, Model Checking, And Abstract...

Hana Chockler | Coverage Metrics For Model Checking | Taschenbuch |

Jaco Geldenhuys (u. A.) | Model Checking Software | Taschenbuch |

Anne Remke (u. A.) | Stochastic Model Checking | Taschenbuch |

Symbolisches Model Checking Variabler Verhaltensspezifikationen