Blockchain; Automotive communication; Internet of vehicles; Model-Based testing; Timed automaton; Security; Attack trees;
机译:基于模型的故障管理设计解决方案的形式验证
机译:车辆仪表盘的基于模型的测试以使用机器视觉进行设计验证
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:基于正式的基于模型的测试框架,用于验证基于区块链的车辆的IOT解决方案
机译:使用预测数据挖掘和干预策略测试框架验证基于代理的模型:儿童车辆安全案例研究。
机译:车辆互联网的区块链:用于使用以非纪念的车辆通信的分散的物联网解决方案
机译:基于模型的跟踪测试方法,用于验证正式的协同仿真模型