[Advances in Experimental Medicine and Biology] Advances in Pulmonary Medicine: Research and Innovations Volume 1160 ||
- 作者Pokorski, Mieczyslaw
- 文件大小2366.25KB
- 发表时间2019
- DOI10.1007/978-3-030-21099-1
[Lecture Notes in Computer Science] NASA Formal Methods Volume 8430 ||Badger, Julia M.; Rozier, Kristin Yvonne · 2014
[Lecture Notes in Computer Science] NASA Formal Methods Volume 8430 || Testing-Based Compiler Validation for Synchronous LanguagesBadger, Julia M.; Rozier, Kristin Yvonne · 2014
[Lecture Notes in Computer Science] NASA Formal Methods Volume 8430 || Using Lightweight Theorem Proving in an Asynchronous Systems ContextBadger, Julia M.; Rozier, Kristin Yvonne · 2014
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) ||Badger, Julia M.; Rozier, Kristin Yvonne · 2019
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || Data Independence for Software Transactional MemoryBadger, Julia M.; Rozier, Kristin Yvonne · 2019
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || Formalizing CNF SAT Symmetry Breaking in PVSBadger, Julia M.; Rozier, Kristin Yvonne · 2019
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || A Mixed Real and Floating-Point SolverBadger, Julia M.; Rozier, Kristin Yvonne · 2019
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || Towards a Two-Layer Framework for Verifying Autonomous VehiclesBadger, Julia M.; Rozier, Kristin Yvonne · 2019