Author:
Furia Carlo A.,Mandrioli Dino,Morzenti Angelo,Rossi Matteo
Publisher
Springer Berlin Heidelberg
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Rigorous Automated Verification of Protection Systems in LV Distribution Grids;2023 IEEE International Conference on Environment and Electrical Engineering and 2023 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe);2023-06-06
2. Time and Time-Oriented Data;Human–Computer Interaction Series;2023
3. Formally-based Model-Driven Development of Collaborative Robotic Applications;Journal of Intelligent & Robotic Systems;2021-06-04
4. Domain Analysis and Description – Sorts, Types, Intents;Formal Methods in Outer Space;2021
5. Extending ASMETA with Time Features;Rigorous State-Based Methods;2021