2014workshop

Towards formal specification visualization for testing and monitoring of cyber-physical systems

Bardh Hoxha, Hoang Bach, Houssam Abbas, Adel Dokhanchi, Yoshihiro Kobayashi, Georgios Fainekos

Int. Workshop on Design and Implementation of Formal Tools and Systems

Topics: Testing; Falsification; and Specification; Runtime Verification and Monitoring

Citation

@inproceedings{hoxha2014towards,
  title = {Towards formal specification visualization for testing and monitoring of cyber-physical systems},
  author = {Hoxha, Bardh and Bach, Hoang and Abbas, Houssam and Dokhanchi, Adel and Kobayashi, Yoshihiro and Fainekos, Georgios},
  booktitle = {Int. Workshop on Design and Implementation of Formal Tools and Systems},
  year = {2014},
  organization = {sn},
  url = {http://www.bhoxha.com/papers/DIFTS2014.pdf},
  keywords = {Testing, Falsification, and Specification, Runtime Verification and Monitoring}
}