|
|
|
|
|
|
|
|
1 - 9 von 9 |
|
|
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) verifikation eingrenzen (Basisklassifikation (XBKL)) 54.25
|
|
|
|
|
|
1. |
Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem Godefroid, Patrice. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
2. |
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem Godefroid, Patrice. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996
|
|
|
|
3. |
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem Godefroid, Patrice. - Berlin : Springer, 1996
|
|
|
|
4. |
A Survey of Verification Techniques for Parallel Programs Barringer, Howard *1951-*. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1985
|
|
|
|
5. |
A survey of verification techniques for parallel programs Barringer, Howard. - Online-Ausg.. - Berlin [u.a.] : Springer, 1985
|
|
|
|
6. |
A survey of verification techniques for parallel programs Barringer, Howard *1951-*. - Berlin : Springer, 1985
|
|
|
|
7. |
Verifying Concurrent Processes Using Temporal Logic Hailpern, B. T.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1982
|
|
|
|
8. |
Verifying concurrent processes using temporal logic Hailpern, Brent T.. - Online-Ausg.. - Berlin [u.a.] : Springer, 1982
|
|
|
|
9. |
Verifying concurrent processes using temporal logic Hailpern, Brent T.. - Berlin : Springer, 1982
|
|
|
|
|
|
|
1 - 9 von 9 |
|
Wort |
|
Typ |
|
Anzahl |
|
verifikation |
|
Schlagwörter GND (Phrase) (XSP) |
|
108 |
54.25 |
|
Basisklassifikation (XBKL) |
|
347 |
|
|
|
|
|
|
|
1 - 9 von 9 |
|
|