Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors

Thomas S. Cook, Doron Drusinsky, Man-tak Shing. Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors. In 2nd IEEE International Conference on System of Systems Engineering, SoSE 2007, San Antonio, TX, USA, 16-18 April 2007. pages 1-6, IEEE, 2007. [doi]

@inproceedings{CookDS07,
  title = {Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors},
  author = {Thomas S. Cook and Doron Drusinsky and Man-tak Shing},
  year = {2007},
  doi = {10.1109/SYSOSE.2007.4304313},
  url = {http://dx.doi.org/10.1109/SYSOSE.2007.4304313},
  researchr = {https://researchr.org/publication/CookDS07},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {2nd IEEE International Conference on System of Systems Engineering, SoSE 2007, San Antonio, TX, USA, 16-18 April 2007},
  publisher = {IEEE},
  isbn = {1-4244-1159-9},
}