Universität Bremen
  TZI   BISS   Universität Bremen
  Universität Bremen > FB 3 > TZI > BISS > AG BS > Aliki Ott >  
   

Aliki Ott née Tsiolakis - Publications

 Deutsch
 English


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}
}
	      


  Author: Aliki Ott
  AG BS Last modified: September 07, 2005 Impressum