NASA formal methods: 9th international symposium, NFM 2017,...

Main
Computers
NASA formal methods: 9th international...

NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

Barrett, Clark, Davies, Misty, Kahsai, Temesghen

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Anno:

2017

Casa editrice:

Springer International Publishing

Lingua:

english

ISBN 10:

3319572873

ISBN 13:

9783319572871

Collana:

Lecture notes in computer science; Formal methods

File:

EPUB, 7.72 MB

IPFS:

,

english, 2017

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Isil Dillig & Serdar Tasiran [Isil Dillig] — Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings

Robert Mark Hierons, Mohamed Mosbah — Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Armin Biere; David Parker — Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings...

Armin Biere, David Parker — Tools And Algorithms For The Construction And Analysis Of Systems (lecture Notes In Computer Science)

Shuvendu K. Lahiri & Chao Wang [Shuvendu K. Lahiri] — Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou — NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Armin Biere, Roderick Bloem (eds.) — Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.) — Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015, Proceedings

Dragan Bošnački, Anton Wijs (eds.) — Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Swarat Chaudhuri, Azadeh Farzan (eds.) — Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Clark Barrett and Misty Davies — NASA Formal Methods

Simone Cavalheiro, José Fiadeiro (eds.) — Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

, — Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 10805)

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink — Formal Methods

Ahmed Bouajjani & Oded Maler [Bouajjani, Ahmed & Maler, Oded] — Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Rajeev Alur (auth.), Farn Wang (eds.) — Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) — FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.) — Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Charles Pecheur (auth.), Stefan Leue, Pedro Merino (eds.) — Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.) — Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Stefan Kowalewski, Anna Philippou — Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science 5505 : Theoretical Computer Science and General Issues)

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.) — FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.) — Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.) — Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.) — Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.) — Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.) — Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Edmund M. Clarke, Paolo Zuliani (auth.), Tevfik Bultan, Pao-Ann Hsiung (eds.) — Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.) — Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.) — Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.) — Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Erika Ábrahám, Klaus Havelund (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Christel Baier, Cesare Tinelli (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Termini più frequenti