Protocols; Industrial control; Systems architecture; Model checking; Robustness; Cryptography; System analysis and design;
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:非正规和正规教育系统的结合,用于学习机电工程学并提高实践技能和协同能力的学生Audrius JAS?NASa *和Eligijus TOLO?KAb维尔纽斯格迪米纳斯技术大学工业企业管理系,J。Basanavi?iaus g 。 28日,立陶宛维尔纽斯a audrius.jasenas @ gmail.com,b eligijus.tolocka@vgtu.lt
机译:正式验证工业控制系统
机译:正式验证计算机控制系统。
机译:网络物理系统中控制模块的正式验证
机译:工业系统控制器的仿真和形式验证
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术