Computer programs; Computer architecture; Computer aided manufacturing; Measurement; Robotics; Control systems; Machine tools; Specifications; Computers; Interoperability; Interfaces; Profiles; Platforms; Coordinates; Computer applications; Systems approa;
机译:从并行控制器的分层Petri网规范生成VHDL
机译:从并行控制器的分层Petri网规范生成VHDL
机译:具有REACH-and Live规范的非线性系统的无记忆控制器的完全合成
机译:可编程逻辑控制器的正式规范和代码生成
机译:接口规范和控制器的时序验证。
机译:基于Web的分布式微控制器对建筑物的电力绿色发电和环境系统的远程控制
机译:具有REACH-and Live规范的非线性系统的无记忆控制器的完全合成
机译:开放系统架构标准(sOsas)的下一代控制器(NGC)规范。 Rev. 2.0