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.
Abstract