Requirement; Specification; Language; Abstraction; Asynchronous; Discrete event; Signal flow plan; Pin partitioning; Testability;
机译:具有结构化语言的多传感器和多状态离散事件系统的建模与优化监督
机译:用概率语言建模的随机离散事件系统的控制
机译:异步量化系统的离散事件模型
机译:异步离散事件系统的基于语言的建模
机译:大型系统的基于Agent的离散事件仿真建模和演化实时决策。
机译:突破SpiNNaker的毫秒级障碍:以微秒分辨率实现基于事件的异步塑料模型
机译:具有结构化语言的多传感器和多态离散事件系统的建模与优化监督