Results for "Model checking"

Results for "Model checking" Showing 1 - 50 results of 887 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Model+checking%22&type=AllFields&lng=en 887 0 50 Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-10521-5 https://find.library.upatras.gr/Record/978-3-319-10521-5 Yoong, Li Hsien Electronic eBook 2015 Yoong, Li Hsien 0 Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-11572-6 https://find.library.upatras.gr/Record/978-3-319-11572-6 Garcia, Emilia Electronic eBook 2015 Garcia, Emilia 0 Bayesian Methods for the Physical Sciences Learning from Examples in Astronomy and Physics / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-15287-5 https://find.library.upatras.gr/Record/978-3-319-15287-5 Andreon, Stefano Electronic eBook 2015 Andreon, Stefano 0 Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-15579-1 https://find.library.upatras.gr/Record/978-3-319-15579-1 Electronic eBook 2015 0 Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-16480-9 https://find.library.upatras.gr/Record/978-3-319-16480-9 Electronic eBook 2015 0 Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-16766-4 https://find.library.upatras.gr/Record/978-3-319-16766-4 Electronic eBook 2015 0 NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-17524-9 https://find.library.upatras.gr/Record/978-3-319-17524-9 Electronic eBook 2015 0 Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-18579-8 https://find.library.upatras.gr/Record/978-3-319-18579-8 Electronic eBook 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-21668-3 https://find.library.upatras.gr/Record/978-3-319-21668-3 Electronic eBook 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-21690-4 https://find.library.upatras.gr/Record/978-3-319-21690-4 Electronic eBook 2015 0 Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-22969-0 https://find.library.upatras.gr/Record/978-3-319-22969-0 Electronic eBook 2015 0 Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-23401-4 https://find.library.upatras.gr/Record/978-3-319-23401-4 Electronic eBook 2015 0 Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-23404-5 https://find.library.upatras.gr/Record/978-3-319-23404-5 Electronic eBook 2015 0 Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / Thu, 01 Jan 2015 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-23485-4 https://find.library.upatras.gr/Record/978-3-319-23485-4 Electronic eBook 2015 0 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-47166-2 https://find.library.upatras.gr/Record/978-3-319-47166-2 Electronic eBook 2016 0 New Developments in Statistical Modeling, Inference and Application Selected Papers from the 2014 ICSA/KISS Joint Applied Statistics Symposium in Portland, OR / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-42571-9 https://find.library.upatras.gr/Record/978-3-319-42571-9 Electronic eBook 2016 0 Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-39519-7 https://find.library.upatras.gr/Record/978-3-319-39519-7 Electronic eBook 2016 0 Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-658-12680-3 https://find.library.upatras.gr/Record/978-3-658-12680-3 Herdt, Vladimir Electronic eBook 2016 Herdt, Vladimir 0 Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23–25, 2015, Revised Selected Papers / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-29817-7 https://find.library.upatras.gr/Record/978-3-319-29817-7 Electronic eBook 2016 0 Web Service Composition Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-32833-1 https://find.library.upatras.gr/Record/978-3-319-32833-1 Petrie, Charles J. Electronic eBook 2016 Petrie, Charles J. 0 Computer and Information Science 2015 Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-23467-0 https://find.library.upatras.gr/Record/978-3-319-23467-0 Electronic eBook 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-41540-6 https://find.library.upatras.gr/Record/978-3-319-41540-6 Electronic eBook 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-41528-4 https://find.library.upatras.gr/Record/978-3-319-41528-4 Electronic eBook 2016 0 Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-46982-9 https://find.library.upatras.gr/Record/978-3-319-46982-9 Electronic eBook 2016 0 Towards Autonomous Robotic Systems 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-40379-3 https://find.library.upatras.gr/Record/978-3-319-40379-3 Electronic eBook 2016 0 Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-41579-6 https://find.library.upatras.gr/Record/978-3-319-41579-6 Electronic eBook 2016 0 Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-47677-3 https://find.library.upatras.gr/Record/978-3-319-47677-3 Electronic eBook 2016 0 Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-319-39083-3 https://find.library.upatras.gr/Record/978-3-319-39083-3 Electronic eBook 2016 0 Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-662-49665-7 https://find.library.upatras.gr/Record/978-3-662-49665-7 Electronic eBook 2016 0 Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / Fri, 01 Jan 2016 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-662-53413-7 https://find.library.upatras.gr/Record/978-3-662-53413-7 Electronic eBook 2016 0 Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / Wed, 01 Jan 2003 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-36577-8 https://find.library.upatras.gr/Record/978-3-540-36577-8 Electronic eBook 2003 0 Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings / Tue, 01 Jan 2002 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-45931-6 https://find.library.upatras.gr/Record/978-3-540-45931-6 Electronic eBook 2002 0 Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / Mon, 01 Jan 2001 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-45402-1 https://find.library.upatras.gr/Record/978-3-540-45402-1 Electronic eBook 2001 0 Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings / Wed, 01 Jan 2003 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-36384-2 https://find.library.upatras.gr/Record/978-3-540-36384-2 Electronic eBook 2003 0 Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / Wed, 01 Jan 2003 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-39893-6 https://find.library.upatras.gr/Record/978-3-540-39893-6 Electronic eBook 2003 0 Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / Thu, 01 Jan 2004 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-30124-0 https://find.library.upatras.gr/Record/978-3-540-30124-0 Electronic eBook 2004 0 Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Sat, 01 Jan 2000 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-44518-0 https://find.library.upatras.gr/Record/978-3-540-44518-0 Electronic eBook 2000 0 Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Electronic eBook 2003 0 SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings / Mon, 01 Jan 2001 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-48213-0 https://find.library.upatras.gr/Record/978-3-540-48213-0 Electronic eBook 2001 0 Beyond Two: Theory and Applications of Multiple-Valued Logic Wed, 01 Jan 2003 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-7908-1769-0 https://find.library.upatras.gr/Record/978-3-7908-1769-0 Electronic eBook 2003 0 Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings / Tue, 01 Jan 2002 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-45620-9 https://find.library.upatras.gr/Record/978-3-540-45620-9 Electronic eBook 2002 0 Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / Thu, 01 Jan 2004 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-30227-8 https://find.library.upatras.gr/Record/978-3-540-30227-8 Electronic eBook 2004 0 FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / Tue, 01 Jan 2002 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-45614-8 https://find.library.upatras.gr/Record/978-3-540-45614-8 Electronic eBook 2002 0 Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / Mon, 01 Jan 2001 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-45309-3 https://find.library.upatras.gr/Record/978-3-540-45309-3 Electronic eBook 2001 0 Intelligent Agents V: Agents Theories, Architectures, and Languages 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings / Fri, 01 Jan 1999 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-49057-9 https://find.library.upatras.gr/Record/978-3-540-49057-9 Electronic eBook 1999 0 Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings / Wed, 01 Jan 2003 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-40965-6 https://find.library.upatras.gr/Record/978-3-540-40965-6 Electronic eBook 2003 0 Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / Tue, 01 Jan 2002 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-45607-0 https://find.library.upatras.gr/Record/978-3-540-45607-0 Electronic eBook 2002 0 UML'99 - The Unified Modeling Language: Beyond the Standard Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings / Fri, 01 Jan 1999 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-46852-3 https://find.library.upatras.gr/Record/978-3-540-46852-3 Electronic eBook 1999 0 Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers / Mon, 01 Jan 2001 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-45484-7 https://find.library.upatras.gr/Record/978-3-540-45484-7 Electronic eBook 2001 0 Information Security 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004, Proceedings / Thu, 01 Jan 2004 18:54:27 +0200 https://find.library.upatras.gr/Record/978-3-540-30144-8 https://find.library.upatras.gr/Record/978-3-540-30144-8 Electronic eBook 2004 0