Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future Pathways.

Qurat ul ain Ali, Dimitris S. Kolovos, Antonio Garca-Domnguez, Michael Bennett, Joe Newton, Piotr Zacharzewski

Browse the full MODELS paper archive.