Software engineering; Systems analysis; Automata; Computerized simulation; Linear systems; Distributed data processing; Real time; Concurrent engineering; Control theory; Computer program verification; Communications protocols;
机译:紧急情况下实时并行流程的动作优化
机译:紧急情况下实时并行流程的动作优化
机译:基于事件的操作语义和具有动作细化的实时并发过程的一致性结果
机译:iUML-B和UPPAAL定时自动机的集成,用于开发具有并行过程的实时系统
机译:用于并发实时图分析的系统
机译:核心过程在理解乌干达青少年之间多重并发性伴侣关系中的应用
机译:IUML-B和UPPAAL定时自动机的集成,以便在并发进程的实时系统开发