Published in
American Scientific Publishers, Advanced Science Letters, 10(24), p. 7311-7316
Links
Tools
A Tool for Capturing Safety Properties from Critical System Specifications Written in SOFL
Journal article published in 2018 by
Azma Abdullah,
Hasan Khatan,
Mansoor Abdulleteef,
Rohani Abu Bakar,
Roslina Abdul Hamid
Distributing this paper is prohibited by the publisher
Full text: Unavailable
Preprint: archiving forbidden
Postprint:
archiving forbidden
Data provided by 
