Ali Mili;Fatma Mili;Noureddine Boudriga
-;-;-
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)