A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude

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.

Previous Menu Next

Abstract