Department of Computer Science, Universita degli Studi di Milano, Milan, Italy;
Department of Computer Science, Universita degli Studi di Milano, Milan, Italy;
Department of Computer Science, Universita degli Studi di Milano, Milan, Italy;
Department of Computer Science, Universita degli Studi di Milano, Milan, Italy;
Microservices; Orchestration; Formal methods Petri nets; Verification; Time analysis;
机译:验证Motorola MPC7450微处理器的嵌入式自定义内存的正式框架
机译:基于方法的基于方法的校园楼宇自动化系统的最终用户编程规则验证框架
机译:基于高阶逻辑定理证明的智能合同验证的一般正式记忆框架
机译:一种用于指定和验证基于微服务的过程流程的正式框架
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:SatEC:基于微服务架构的5G卫星边缘计算框架
机译:WorkflowFm:基于逻辑的流程规范和组合形式验证框架