Formal Approaches to Software Testing
| ISBN: | 9783540344544 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 219 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Grieskamp, Wolfgang Weise, Carsten |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 30.05.2006 |
| Untertitel: | 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers |
| Schlagworte: | Markov chains Resolution abstract state machines automata constraint resolution correctness proofs correct systems design finite state machines formal methods formal testing |