Petrenko, Alexandre.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal approaches to software testing = Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers/
by:
Petrenko, Alexandre.; Ulrich, Andreas, (Dr. Ing.); NetLibrary, Inc.; FATES 2003 ((2003 :); IEEE International Automated Software Engineering Conference (2003 :)
(Language materials, printed)
Formal approaches to software testing = Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers/
by:
Petrenko, Alexandre.; Ulrich, Andreas, (Dr. Ing.); SpringerLink (Online service); FATES 2003 ((2003 :); IEEE International Automated Software Engineering Conference (2003 :)
(Language materials, printed)
Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
Maldonado, Jose Carlos.; Petrenko, Alexandre.; Simao, Adenilso.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Telecommunication systems- Testing
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
M歋thodes formelles (Informatique)
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Logiciels- Essais
Models and Principles.
Computer Science.