Αποτελέσματα για "model checking"

Αποτελέσματα για "model checking" Εμφανίζονται 1 - 50 Αποτελέσματα από 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=el 887 0 50 Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems / Thu, 01 Jan 2015 08:13:35 +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 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Yoong, Li Hsien 0 Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems / Thu, 01 Jan 2015 08:13:35 +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 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Garcia, Emilia 0 Bayesian Methods for the Physical Sciences Learning from Examples in Astronomy and Physics / Thu, 01 Jan 2015 08:13:35 +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 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-15579-1 https://find.library.upatras.gr/Record/978-3-319-15579-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II / Thu, 01 Jan 2015 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-16480-9 https://find.library.upatras.gr/Record/978-3-319-16480-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-16766-4 https://find.library.upatras.gr/Record/978-3-319-16766-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Thu, 01 Jan 2015 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-17524-9 https://find.library.upatras.gr/Record/978-3-319-17524-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-18579-8 https://find.library.upatras.gr/Record/978-3-319-18579-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-21668-3 https://find.library.upatras.gr/Record/978-3-319-21668-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-21690-4 https://find.library.upatras.gr/Record/978-3-319-21690-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Thu, 01 Jan 2015 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-22969-0 https://find.library.upatras.gr/Record/978-3-319-22969-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / Thu, 01 Jan 2015 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-23401-4 https://find.library.upatras.gr/Record/978-3-319-23401-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Thu, 01 Jan 2015 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-23404-5 https://find.library.upatras.gr/Record/978-3-319-23404-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-23485-4 https://find.library.upatras.gr/Record/978-3-319-23485-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-47166-2 https://find.library.upatras.gr/Record/978-3-319-47166-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-42571-9 https://find.library.upatras.gr/Record/978-3-319-42571-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-39519-7 https://find.library.upatras.gr/Record/978-3-319-39519-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs / Fri, 01 Jan 2016 08:13:35 +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 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-29817-7 https://find.library.upatras.gr/Record/978-3-319-29817-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Web Service Composition Fri, 01 Jan 2016 08:13:35 +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. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Petrie, Charles J. 0 Computer and Information Science 2015 Fri, 01 Jan 2016 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-23467-0 https://find.library.upatras.gr/Record/978-3-319-23467-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / Fri, 01 Jan 2016 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-41540-6 https://find.library.upatras.gr/Record/978-3-319-41540-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / Fri, 01 Jan 2016 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-41528-4 https://find.library.upatras.gr/Record/978-3-319-41528-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / Fri, 01 Jan 2016 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-46982-9 https://find.library.upatras.gr/Record/978-3-319-46982-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Towards Autonomous Robotic Systems 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings / Fri, 01 Jan 2016 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-40379-3 https://find.library.upatras.gr/Record/978-3-319-40379-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-41579-6 https://find.library.upatras.gr/Record/978-3-319-41579-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-47677-3 https://find.library.upatras.gr/Record/978-3-319-47677-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-319-39083-3 https://find.library.upatras.gr/Record/978-3-319-39083-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-662-49665-7 https://find.library.upatras.gr/Record/978-3-662-49665-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / Fri, 01 Jan 2016 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-662-53413-7 https://find.library.upatras.gr/Record/978-3-662-53413-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-36577-8 https://find.library.upatras.gr/Record/978-3-540-36577-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45931-6 https://find.library.upatras.gr/Record/978-3-540-45931-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / Mon, 01 Jan 2001 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45402-1 https://find.library.upatras.gr/Record/978-3-540-45402-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-36384-2 https://find.library.upatras.gr/Record/978-3-540-36384-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-39893-6 https://find.library.upatras.gr/Record/978-3-540-39893-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-30124-0 https://find.library.upatras.gr/Record/978-3-540-30124-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Sat, 01 Jan 2000 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-44518-0 https://find.library.upatras.gr/Record/978-3-540-44518-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings / Mon, 01 Jan 2001 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-48213-0 https://find.library.upatras.gr/Record/978-3-540-48213-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Beyond Two: Theory and Applications of Multiple-Valued Logic Wed, 01 Jan 2003 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-7908-1769-0 https://find.library.upatras.gr/Record/978-3-7908-1769-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings / Tue, 01 Jan 2002 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45620-9 https://find.library.upatras.gr/Record/978-3-540-45620-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / Thu, 01 Jan 2004 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-30227-8 https://find.library.upatras.gr/Record/978-3-540-30227-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45614-8 https://find.library.upatras.gr/Record/978-3-540-45614-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45309-3 https://find.library.upatras.gr/Record/978-3-540-45309-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-49057-9 https://find.library.upatras.gr/Record/978-3-540-49057-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-40965-6 https://find.library.upatras.gr/Record/978-3-540-40965-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45607-0 https://find.library.upatras.gr/Record/978-3-540-45607-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-46852-3 https://find.library.upatras.gr/Record/978-3-540-46852-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45484-7 https://find.library.upatras.gr/Record/978-3-540-45484-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Information Security 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004, Proceedings / Thu, 01 Jan 2004 08:13:35 +0200 https://find.library.upatras.gr/Record/978-3-540-30144-8 https://find.library.upatras.gr/Record/978-3-540-30144-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0