Jason Hampson

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Constraint Language

Fault Detection

Top Venues

Softw. Syst. Model.

Publications

Beatriz A. Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige, Justin C. Cooper, Jason Hampson
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. Softw. Syst. Model. 20 (6) (2021)