The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors

Publisher: IGI Global_journal

E-ISSN: 1942-9037|2|3|79-105

ISSN: 1942-9045

Source: International Journal of Software Science and Computational Intelligence (IJSSCI), Vol.2, Iss.3, 2010-07, pp. : 79-105

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