Dipartimento di Scienze della Cultura, Politiche e dell'Informazione, Universita dell'Insubria, Via Valleggio 11, Como I-22100, Italy;
机译:检查一组通信有限状态机的状态和转换
机译:YerifCar:用于通信自动驾驶车辆的建模和模型检查的框架
机译:Yerifcar:用于建模和模型检查通信自动车辆的框架
机译:用于沟通等级机器的结构模型检查
机译:结构模型检查。
机译:利用结构和功能性大脑MRI的分层特征提取和极限学习机对ADHD进行多模式多测量和多类区分
机译:通信UML状态机的动态模型检查
机译:基于符号模型检验的分层任务网络规划器