A Method for Validating Intent Model Behavior in DSVMs Conference

Morris, Karl A, Clarke, Peter J, He, Xudong et al. (2015). A Method for Validating Intent Model Behavior in DSVMs . Proceedings of IEEE International Symposium on High Assurance Systems Engineering, 247-254. 10.1109/HASE.2015.43

International Collaboration

cited authors

  • Morris, Karl A; Clarke, Peter J; He, Xudong; Costa, Fabio M; Allison, Mark

authors

date/time interval

  • January 8, 2015 -

publication date

  • January 1, 2015

webpage

published in

keywords

  • Computer Science
  • Computer Science, Hardware & Architecture
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology
  • middleware
  • model validation
  • model-driven engineering
  • models at runtime

Digital Object Identifier (DOI)

start page

  • 247

end page

  • 254