Search
Now showing items 1-1 of 1
Integrating structured OO approaches with formal techniques for the development of real-time systems
(Elsevier, 1999)
The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as ...