Run-Time Validation of Timing Constraints for VDM-RT Models. Ribeiro, A., Lausdahl, K., & Larsen, P. G. In Wolff, S. & Fitzgerald, J., editors, Proceedings of the 9th Overture Workshop, of Technical Report Series, pages 4–16, June, 2011.
Run-Time Validation of Timing Constraints for VDM-RT Models [pdf]Paper  bibtex   
@inproceedings{Ribeiro&11,
  author =        {Augusto Ribeiro and Kenneth Lausdahl and
                   Peter Gorm Larsen},
  booktitle =     {Proceedings of the 9th Overture Workshop},
  editor =        {Sune Wolff and John Fitzgerald},
  key =           {Ribeiro\&11},
  month =         {June},
  number =        {ECE-TT-2},
  pages =         {4--16},
  series =        {Technical Report Series},
  title =         {{Run-Time Validation of Timing Constraints for VDM-RT
                   Models}},
  year =          {2011},
  url =           {Ribeiro&11.pdf},
}
Downloads: 0