Northampton Electronic Collection of Theses and Research

Browse by Author or Creator

[up] Up a level
Group by: Item Type | Date
Jump to: Conference or Workshop Item
Number of items: 1.

Conference or Workshop Item

  1. 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)
This list was generated from NECTAR on Fri Sep 19 02:18:55 2025 BST.