Cover Image

QR Code

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings /

This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015. The 10 papers presented in this volume were carefully reviewed and selected...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Mousavi, Mohammad Reza. (Editor, http://id.loc.gov/vocabulary/relators/edt), Berger, Christian. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:	1st ed. 2015.
Series:	Information Systems and Applications, incl. Internet/Web, and HCI ; 9361
Subjects:	Application software. Computer communication systems. Software engineering. Computer logic. Algorithms. Artificial intelligence. Information Systems Applications (incl. Internet). Computer Communication Networks. Software Engineering. Logics and Meanings of Programs. Algorithm Analysis and Problem Complexity. Artificial Intelligence.
Online Access:	https://doi.org/10.1007/978-3-319-25141-7

Similar Items

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers / edited by Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski.
Published: (2017)

Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich.
Published: (2020)

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / edited by Leonardo de Moura.
Published: (2017)

Automated Deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / edited by Maria Paola Bonacina.
Published: (2013)

Formal Methods: Foundations and Applications 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / edited by Gustavo Carvalho, Volker Stolz.
Published: (2020)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz.
Published: (2019)

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Ben Niu.
Published: (2019)

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Ben Niu.
Published: (2019)

Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings / edited by Uta Priss, Simon Polovina, Richard Hill.
Published: (2007)

Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Colin Johnson, Adrian Carballal, João Correia.
Published: (2015)

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet.
Published: (2018)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.
Published: (2016)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi.
Published: (2015)

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.
Published: (2015)

Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning.
Published: (2007)

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe.
Published: (2021)

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
Published: (2019)

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013, Proceedings / edited by Krzysztof Krawiec, Alberto Moraglio, Ting Hu, A. Sima Etaner-Uyar, Bin Hu.
Published: (2013)

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / edited by Miguel Nicolau, Krzysztof Krawiec, Malcolm I. Heywood, Mauro Castelli, Pablo García-Sánchez, Juan J. Merelo, Victor Manuel Rivas Santos, Kevin Sim.
Published: (2014)

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph.
Published: (2021)

Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings / edited by Guillermo R. Simari, Eduardo Fermé, Flabio Gutiérrez Segura, José Antonio Rodríguez Melquiades.
Published: (2018)

Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings / edited by Robin Purshouse, Peter Fleming, Carlos M. Fonseca, Salvatore Greco, Jane Shaw.
Published: (2013)

Agents and Artificial Intelligence 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers / edited by Jaap van den Herik, Ana Paula Rocha, Luc Steels.
Published: (2019)

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers / edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Published: (2018)

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings / edited by Nader Bshouty, Claudio Gentile.
Published: (2007)

Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Antonio M. Mora, Giovanni Squillero.
Published: (2015)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II / edited by Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager.
Published: (2018)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III / edited by Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, Irina Perfilieva, Bernadette Bouchon-Meunier, Ronald R. Yager.
Published: (2018)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I / edited by Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager.
Published: (2018)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
Published: (2013)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Ždárek.
Published: (2007)

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers / edited by Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang.
Published: (2018)

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad.
Published: (2007)

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario.
Published: (2015)

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings / edited by Kentaro Sano, Dimitrios Soudris, Michael Hübner, Pedro C. Diniz.
Published: (2015)

Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers / edited by Emilio Di Giacomo, Anna Lubiw.
Published: (2015)

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Penousal Machado, Malcolm I. Heywood, James McDermott, Mauro Castelli, Pablo García-Sánchez, Paolo Burelli, Sebastian Risi, Kevin Sim.
Published: (2015)

Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / edited by Alexey Gotsman, Ana Sokolova.
Published: (2020)

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)