机译:用于上下文感知系统规范和验证的正式框架
LIRE Laboratory, Constantine, Algeria,University of Constantine 2-Abdelhamid Mehri, Constantine, Algeria;
LIRE Laboratory, Constantine, Algeria,University of Constantine 2-Abdelhamid Mehri, Constantine, Algeria;
LIRE Laboratory, Constantine, Algeria,University of Constantine 2-Abdelhamid Mehri, Constantine, Algeria;
Context-aware adaptive systems; Model-driven engineering; Formal methods;
机译:用于设计和验证CNC系统的可靠软件的正式规范框架
机译:使用UPPAAL的系统的正式规范和验证:以防御型导弹系统为例
机译:定时安全协议的正式规范和验证框架
机译:用于设计和验证计算机化数字控制(CNC)系统的可靠和可靠软件的正式规范和验证框架
机译:使用实时序列图规范进行系统的形式验证
机译:编排上下文感知IT生态系统的体系结构框架:以定量评估为例
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术