Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings - Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan.; Grieskamp, Wolfgang; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design; Information Systems; Telecommunication; Computer Science; Software Engineering; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems; Communications Engineering, Networks