LOTOS(Language of Temporal Ordering Specification)是一种基于进程代数CCS的协议描述语言.这里提出LOTOS的实时扩展ET-LOTOS,是......

嵌入式系统已具有相当长的历史，最初在军事、航空航天、工业过程控制等领域。从20世纪90年代中后期开始，计算机产业从PC时代来到了以......