Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems (bibtex)
by Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, João Pedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovski, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong
Reference:
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, João Pedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovski, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny WongIn Software Engineering for Self-Adaptive Systems, 2010
Bibtex Entry:
@string{star="STAR"}
@inproceedings{Tamura:runtimeverification:SESS:2010,
  groups = STAR,
  Author = {Gabriel Tamura and Norha M. Villegas and Hausi
                  A. M{\"u}ller and Jo{\~a}o Pedro Sousa and Basil
                  Becker and Gabor Karsai and Serge Mankovski and
                  Mauro Pezz{\`e} and Wilhelm Sch{\"a}fer and Ladan
                  Tahvildari and Kenny Wong},
  Booktitle = {Software Engineering for Self-Adaptive Systems},
  Pages = {108-132},
  Title = {Towards Practical Runtime Verification and
                  Validation of Self-Adaptive Software Systems},
  Year = 2010
}
Powered by bibtexbrowser