Formal Approaches to Software Testing
5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Wolfgang Grieskamp
Themen in »Formal Approaches to Software Testing«
Markov chains Resolution abstract state machines automata constraint resolution correct systems design correctness proofs finite state machines formal methods formal testing interactive testing model checking real-time testing theorem proving
Stimmen zu »Formal Approaches to Software Testing«
Details
ISBN: 9783540344544
Verlag: Springer Berlin
Erscheinung: 30.05.2006