Author:
Bozzano M.,Cimatti A.,Fernandes Pires A.,Jones D.,Kimberly G.,Petri T.,Robinson R.,Tonetta S.
Publisher
Springer International Publishing
Reference26 articles.
1. Bittner, B., Bozzano, M., Cavada, R., Cimatti, A., Gario, M., Griggio, A., Mattarei, C., Micheli, A., Zampedri, G.: The xSAP Safety Analysis Platform. ArXiv e-prints (2015)
2. Bozzano, M., Cimatti, A., Fernandes Pires, A., Jones, D., Kimberly, G., Petri, T., Robinson, R., Tonetta, S.: AIR6110 Wheel Brake System case study.
https://es.fbk.eu/projects/air6110
3. Lecture Notes in Computer Science;M Bozzano,2014
4. Bozzano, M., Villafiorita, A.: Design and Safety Assessment of Critical Systems. CRC Press (Taylor and Francis), Boca Raton (2010). An Auerbach Book
5. Lecture Notes in Computer Science;AR Bradley,2011
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
3. The MoXI Model Exchange Tool Suite;Lecture Notes in Computer Science;2024
4. Reasoning About Regular Properties: A Comparative Study;Automated Deduction – CADE 29;2023
5. Satisfiability checking for Mission-time LTL (MLTL);Information and Computation;2022-11