Formal methods for the design of real-time systems

Descrição: A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of the... Veja mais