Publisher： IGI Global_journal
E-ISSN： 1554-1053|12|4|22-41
ISSN： 1554-1045
Source： International Journal of Information Technology and Web Engineering (IJITWE), Vol.12, Iss.4, 2017-10, pp. : 22-41
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Specifying Real-Time Systems in Rewriting Logic
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
Access to resources
Recommend
Scenario-based verification of real-time systems using Uppaal
By Li Shuhao
Formal Methods in System Design, Vol. 37, Iss. 2-3, 2010-12 ,pp. :
Deductive verification of real-time systems using STeP
By Bjorner N.S. Manna Z. Sipma H.B. Uribe T.E.
Theoretical Computer Science, Vol. 253, Iss. 1, 2001-02 ,pp. :
Semantics and pragmatics of Real-Time Maude
LISP and Symbolic Computation, Vol. 20, Iss. 1-2, 2007-06 ,pp. :