Improving Scalability Of Model Checking Software Architectures A

Bosah Chukwuogo | Improving Scalability Of Model Checking Software

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

Development Of A Software Architecture-based Quality Model An

Anne Koziolek | Automated Improvement Of Software Architecture Models

Model Checking Software 20th International Symposium, Spin 2013, Stony

Automated Coevolution Of Source Code And Software Architecture Models

Quality-driven Reuse Of Model-based Software Architecture Elements

Model-driven Software Migration Into A Service-oriented Architecture

Improving The Use Of Cloud Resources For Multi Agent Scalability 3419

Stefan Edelkamp (u. A.) | Model Checking Software | Taschenbuch |

Sriram K. Rajamani (u. A.) | Model Checking Software | Taschenbuch |

Handbook Of Model Checking | Edmund M. Clarke (u. A.) | Buch | Xlviii

A Leadership Model Of Supervisory Skills Improving Employee

Symbolisches Model Checking Variabler Verhaltensspezifikationen

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