Search Results for Logic design. - Narrowed by: Simulation and Modeling.

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2024-09-29T10:54:17Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-53946-1
Format: Electronic Resources

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar Bertrand, Nathalie. editor.
https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-09-29T10:54:17Z

Yazar McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2024-09-29T10:54:17Z

Yazar Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-319-63387-9
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar van der Aalst, Wil. editor.
https://doi.org/10.1007/978-3-319-57861-3
Format: Electronic Resources

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2024-09-29T10:54:17Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

2024-09-29T10:54:17Z

Yazar James, Phillip. editor.
https://doi.org/10.1007/978-3-319-72044-9
Format: Electronic Resources

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar Feret, Jérôme. editor. (orcid)0000-0002-2601-2785
https://doi.org/10.1007/978-3-319-67471-1
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-319-69483-2
Format: Electronic Resources

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
https://doi.org/10.1007/978-3-319-62075-6
Format: Electronic Resources

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar Reinecke, Philipp. editor.
https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-09-29T10:54:17Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-09-29T10:54:17Z

Yazar Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar Abate, Alessandro. editor.
https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-09-29T10:54:17Z

Yazar Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2024-09-29T10:54:17Z

Yazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
https://doi.org/10.1007/978-3-319-69404-7
Format: Electronic Resources

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

2024-09-29T10:54:17Z

Yazar Fitzgerald, John. editor.
http://dx.doi.org/10.1007/978-3-642-54118-6
Format: Electronic Resources

Intelligent Control Design and MATLAB Simulation

2024-09-29T10:54:17Z

Yazar Liu, Jinkun. author.
https://doi.org/10.1007/978-981-10-5263-7
Format: Electronic Resources

Artificial Organic Networks Artificial Intelligence Based on Carbon Networks

2024-09-29T10:54:17Z

Yazar Ponce-Espinosa, Hiram. author.
http://dx.doi.org/10.1007/978-3-319-02472-1
Format: Electronic Resources

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2024-09-29T10:54:17Z

Yazar Ölveczky, Peter Csaba. author.
https://doi.org/10.1007/978-1-4471-6687-0
Format: Electronic Resources

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-09-29T10:54:17Z

Yazar Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-09-29T10:54:17Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

2024-09-29T10:54:17Z

Yazar Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-17130-2
Format: Electronic Resources

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2024-09-29T10:54:17Z

Yazar Anderson, Neal G. editor.
http://dx.doi.org/10.1007/978-3-662-43722-3
Format: Electronic Resources

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2024-09-29T10:54:17Z

Yazar Berry, Stuart. editor.
https://doi.org/10.1007/978-3-319-55417-4
Format: Electronic Resources

Improving Disaster Resilience and Mitigation - IT Means and Tools

2024-09-29T10:54:17Z

Yazar Teodorescu, Horia-Nicolai. editor.
http://dx.doi.org/10.1007/978-94-017-9136-6
Format: Electronic Resources

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2024-09-29T10:54:17Z

Yazar Aceto, Luca. editor.
https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2024-09-29T10:54:17Z

Yazar Rovatsos, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part II

2024-09-29T10:54:17Z

Yazar Tan, Ying. editor.
https://doi.org/10.1007/978-3-319-61833-3
Format: Electronic Resources

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

2024-09-29T10:54:17Z

Yazar Pereira, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-23485-4
Format: Electronic Resources

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings

2024-09-29T10:54:17Z

Yazar Shi, Yuhui. editor.
https://doi.org/10.1007/978-3-319-68759-9
Format: Electronic Resources