Azala

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Erakutsi beste bertsioak (2)

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science o...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Beste egile batzuk:	Carreira, Paulo (Argitaratzailea), Amaral, Vasco (Argitaratzailea), Vangheluwe, Hans (Argitaratzailea)
Formatua:	Baliabide elektronikoa Liburu kapitulua
Hizkuntza:	ingelesa
Argitaratua:	Cham Springer Nature 2020
Gaiak:	Software Engineering Electrical engineering Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Cybernetics & systems theory
Sarrera elektronikoa:	OAPEN Library: download the publication OAPEN Library: description of the publication
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Argitaratua: (2020)

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Argitaratua: (2020)

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Argitaratua: (2020)

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Argitaratua: (2020)

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Argitaratua: (2020)

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Argitaratua: (2020)

Semantic Systems. In the Era of Knowledge Graphs 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings /
Argitaratua: (2020)

Digital Transformation of the Design, Construction and Management Processes of the Built Environment
Argitaratua: (2020)

Advances on Mechanics, Design Engineering and Manufacturing III Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing, JCM 2020, June 2-4, 2020 /
Argitaratua: (2021)

The Once-Only Principle The TOOP Project
Argitaratua: (2021)

The Once-Only Principle The TOOP Project
Argitaratua: (2021)

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology
Argitaratua: (2021)

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology
Argitaratua: (2021)

Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy /
Argitaratua: (2016)

Proceedings of the 2020 DigitalFUTURES The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) /
Argitaratua: (2021)

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Argitaratua: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Argitaratua: (2020)

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /
Argitaratua: (2020)

Proceedings of the 2021 DigitalFUTURES The 3rd International Conference on Computational Design and Robotic Fabrication (CDRF 2021) /
Argitaratua: (2022)

Hybrid Intelligence Proceedings of the 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022) /
Argitaratua: (2023)

Phygital Intelligence Proceedings of the 5th International Conference on Computational Design and Robotic Fabrication (CDRF 2023) /
Argitaratua: (2024)

A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
Argitaratua: (2021)

A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
Argitaratua: (2021)

Advances on Mechanics, Design Engineering and Manufacturing III Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing, JCM 2020, June 2-4, 2020
Argitaratua: (2021)

Advances on Mechanics, Design Engineering and Manufacturing III Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing, JCM 2020, June 2-4, 2020
Argitaratua: (2021)

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA /
Argitaratua: (2023)

Cyber-Physical Systems: A Model-Based Approach
nork: Taha, Walid M.
Argitaratua: (2021)

Cyber-Physical Systems: A Model-Based Approach
nork: Taha, Walid M.
Argitaratua: (2021)

Proceedings of the 2020 DigitalFUTURES The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020)
Argitaratua: (2021)

Proceedings of the 2020 DigitalFUTURES The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020)
Argitaratua: (2021)

Compact Models for Integrated Circuit Design Conventional Transistors and Beyond
nork: Saha, Samar K.
Argitaratua: (2015)

Compact Models for Integrated Circuit Design Conventional Transistors and Beyond
nork: Saha, Samar K.
Argitaratua: (2015)

Dependable Embedded Systems
nork: Henkel, Jörg
Argitaratua: (2021)

Dependable Embedded Systems
nork: Henkel, Jörg
Argitaratua: (2021)

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Argitaratua: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Argitaratua: (2020)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
nork: Marwedel, Peter
Argitaratua: (2021)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
nork: Marwedel, Peter
Argitaratua: (2021)

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /
Argitaratua: (2020)

Designing Data Spaces The Ecosystem Approach to Competitive Advantage /
Argitaratua: (2022)