Temporal Logics for Real-Time System Specification
real time systems specification, formal methods, tilco, uml
The specification of reactive and real-time systems must be supported by formal mathematically founded methods to be satisfactory and ...
491 Hits Rating