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 . 2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 247-254. 10.1109/HASE.2015.43

International Collaboration

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

Location

  • Daytona Beach, FL

Digital Object Identifier (DOI)

Conference

  • 16th IEEE International Symposium on High Assurance Systems Engineering (HASE)

publisher

  • IEEE

start page

  • 247

end page

  • 254