Tampere University of Technology

TUTCRIS Research Portal

Defining Observation Objectives for Reactive and Distributed Systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Original languageEnglish
Title of host publicationFormal 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
EditorsA. Petrenko, A. Ulrich
Publication statusPublished - 2003
Publication typeA4 Article in a conference publication

Publication forum classification