TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Defining Observation Objectives for Reactive and Distributed Systems

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoFormal Approaches to Testing of Software. Proceedings of FATES 2003. A Satellite Workshop of the International Conference on Automated Software Engineering 2003, Montreal, Quebec, Canada, October 6, 2003
ToimittajatA. Petrenko, A. Ulrich
Sivut156-163
TilaJulkaistu - 2003
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso