Resultados para "Computer software Verification Congresses." A mostrar 1 - 20 resultados de 20 Laminas_Feed_Writer 2 (https://getlaminas.org) https://tuklas.up.edu.ph/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Computer+software+Verification+Congresses.%22&type=Subject&lng=pt 20 0 50 Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 Fri, 01 Jan 2016 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613033911 https://tuklas.up.edu.ph/Record/UP-99796217613033911 Electronic Resource 2016 0 Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 Fri, 01 Jan 2016 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613033912 https://tuklas.up.edu.ph/Record/UP-99796217613033912 Electronic Resource 2016 0 HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA Wed, 01 Jan 2014 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611899743 https://tuklas.up.edu.ph/Record/UP-99796217611899743 Livro 2014 0 HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts Sun, 01 Jan 2012 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611459936 https://tuklas.up.edu.ph/Record/UP-99796217611459936 Livro 2012 0 HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA Tue, 01 Jan 2013 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611459940 https://tuklas.up.edu.ph/Record/UP-99796217611459940 Livro 2013 0 Languages, design methods, and tools for electronic system design selected contributions from FDL 2013 Thu, 01 Jan 2015 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217612770466 https://tuklas.up.edu.ph/Record/UP-99796217612770466 Electronic Resource 2015 0 Languages, design methods, and tools for electronic system design selected contributions from FDL 2016 Mon, 01 Jan 2018 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613314001 https://tuklas.up.edu.ph/Record/UP-99796217613314001 Electronic Resource 2018 0 Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611115636 https://tuklas.up.edu.ph/Record/UP-99796217611115636 Electronic Resource 2011 0 Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611115665 https://tuklas.up.edu.ph/Record/UP-99796217611115665 Electronic Resource 2011 0 Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611115648 https://tuklas.up.edu.ph/Record/UP-99796217611115648 Electronic Resource 2011 0 Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611135138 https://tuklas.up.edu.ph/Record/UP-99796217611135138 Electronic Resource 2011 0 Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611135139 https://tuklas.up.edu.ph/Record/UP-99796217611135139 Electronic Resource 2011 0 Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611116144 https://tuklas.up.edu.ph/Record/UP-99796217611116144 Electronic Resource 2011 0 Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611116145 https://tuklas.up.edu.ph/Record/UP-99796217611116145 Electronic Resource 2011 0 NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611135173 https://tuklas.up.edu.ph/Record/UP-99796217611135173 Electronic Resource 2011 0 Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Fri, 01 Jan 1993 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217602968491 https://tuklas.up.edu.ph/Record/UP-99796217602968491 Livro 1993 0 Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993. Fri, 01 Jan 1993 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217602968496 https://tuklas.up.edu.ph/Record/UP-99796217602968496 Livro 1993 0 Languages, design methods, and tools for electronic system design selected contributions from FDL 2018 Wed, 01 Jan 2020 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613975923 https://tuklas.up.edu.ph/Record/UP-99796217613975923 Electronic Resource 2020 0 Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611095360 https://tuklas.up.edu.ph/Record/UP-99796217611095360 Electronic Resource 2011 0 Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings Sat, 01 Jan 2011 19:53:17 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611190056 https://tuklas.up.edu.ph/Record/UP-99796217611190056 Electronic Resource 2011 0