|
Stefan Bisanz and Aliki Tsiolakis
Test Development in Virtual Environments
FM-TOOLS 2002 -- The 5th Workshop on Tools for System Design
and Verification, Reisensburg Castle, Germany, July 2002
PAPER [.pdf]
BIBTEX
@InProceedings{BT02a,
author = {Stefan Bisanz and Aliki Tsiolakis},
title = {{T}est {D}evelopment in {V}irtual {E}nvironments},
crossref = {FMTOOLS02},
pages = {65--69}
}
@Proceedings{FMTOOLS02,
title = {{FM-TOOLS 2002}. {T}he 5th {W}orkshop on {T}ools for {S}ystem
{D}esign and {V}erification},
year = {2002},
editor = {Dominik Haneberg and Gerhard Schellhorn and Wolfgang Reif},
address = {Augsburg},
month = Jun,
organization = {Universit{\"a}t Augsburg, Institut f{\"u}r Informatik},
note = {Technical Report 2002-11}
}
|
|
