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 ...                        
                        
                                                        809 Hits                            Rating                             
