Samir Ben Ahmed

Learn More
The paper presents a specification technique borrowing features from two classes of specification methods, formal and semi-formal ones. Each of the above methods have been proved to be useful in the development of real-time and critical systems and widely reported in different papers [1], [2]. Formal methods are based on mathematical notations and axiomatic(More)