Electronic mail; Logic gates; Natural languages; Petri nets; Semantics; Syntactics; Unified modeling language;
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。I.规范和设计
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。设计与实施
机译:IOPT流建模框架应用于电力电子控制器
机译:使用IOPT Petri网设计的嵌入式控制器的远程操作
机译:款待管理教育者的工作规范模型的设计:使用Delphi方法分析能力要求。
机译:一类参数化非线性的超稳定反馈控制器的设计。控制流行病模型的两个应用示例
机译:控制器设计要求规范 - 从用例到IOpT网络模型
机译:综合电子战系统高级开发模型(aDm);附录6 - 系统控制器执行设计规范。最终软件报告数据项目编号a005。