Richard F Paige

1PUBLICATIONS
4CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Dec 20, 2021
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries.

Beatriz A Sanchez, Athanasios Zolotas, Horacio Hoyos Rodriguez

Pageof 1

Frequent Collaborators

1 joint publications

Beatriz A Sanchez

1 joint publications

Athanasios Zolotas

1 joint publications

Horacio Hoyos Rodriguez

1 joint publications

Dimitris Kolovos