 | Up a level |
Group by: Item Type | Date
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
- Ajit, S., Olajubu, O., Thomson, S. and Edwards, M. (2015) Model transformation of high-level requirements in a domain specific language into a formal specification language. Paper presented to: 15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Edinburgh, 01-04 September 2015. (Unpublished)