Browse by Author All List
 | Up a level |
Number of items: 1.
Azma, Abdullah and Hasan, Kahtan and Abdulgabber, Mansoor Abdullateef and Rohani, Abu Bakar and Roslina, Abd. Hamid (2017) A tool for capturing safety properties from critical system specifications written in SOFL. In: The 5th International Conference on Software Engineering & Computer System ( ICSECS' 17), 22-24 November 2017 , Adya Hotel, Pulau Langkawi, Malaysia. p. 42.. (Unpublished)