कवर छवि

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

अन्य संस्करण दिखाएं (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...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
अन्य लेखक:	Carreira, Paulo (संपादक), Amaral, Vasco (संपादक), Vangheluwe, Hans (संपादक)
स्वरूप:	इलेक्ट्रोनिक पुस्तक अध्याय
भाषा:	अंग्रेज़ी
प्रकाशित:	Cham Springer Nature 2020
विषय:	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
ऑनलाइन पहुंच:	OAPEN Library: download the publication OAPEN Library: description of the publication
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
प्रकाशित: (2020)

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
प्रकाशित: (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
प्रकाशित: (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
प्रकाशित: (2020)

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
प्रकाशित: (2020)

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
प्रकाशित: (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 /
प्रकाशित: (2020)

Digital Transformation of the Design, Construction and Management Processes of the Built Environment
प्रकाशित: (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 /
प्रकाशित: (2021)

The Once-Only Principle The TOOP Project
प्रकाशित: (2021)

The Once-Only Principle The TOOP Project
प्रकाशित: (2021)

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology
प्रकाशित: (2021)

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology
प्रकाशित: (2021)

Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy /
प्रकाशित: (2016)

Proceedings of the 2020 DigitalFUTURES The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) /
प्रकाशित: (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
प्रकाशित: (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
प्रकाशित: (2020)

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /
प्रकाशित: (2020)

Proceedings of the 2021 DigitalFUTURES The 3rd International Conference on Computational Design and Robotic Fabrication (CDRF 2021) /
प्रकाशित: (2022)

Hybrid Intelligence Proceedings of the 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022) /
प्रकाशित: (2023)

Phygital Intelligence Proceedings of the 5th International Conference on Computational Design and Robotic Fabrication (CDRF 2023) /
प्रकाशित: (2024)

A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
प्रकाशित: (2021)

A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
प्रकाशित: (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
प्रकाशित: (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
प्रकाशित: (2021)

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA /
प्रकाशित: (2023)

Cyber-Physical Systems: A Model-Based Approach
द्वारा: Taha, Walid M.
प्रकाशित: (2021)

Cyber-Physical Systems: A Model-Based Approach
द्वारा: Taha, Walid M.
प्रकाशित: (2021)

Proceedings of the 2020 DigitalFUTURES The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020)
प्रकाशित: (2021)

Proceedings of the 2020 DigitalFUTURES The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020)
प्रकाशित: (2021)

Compact Models for Integrated Circuit Design Conventional Transistors and Beyond
द्वारा: Saha, Samar K.
प्रकाशित: (2015)

Compact Models for Integrated Circuit Design Conventional Transistors and Beyond
द्वारा: Saha, Samar K.
प्रकाशित: (2015)

Dependable Embedded Systems
द्वारा: Henkel, Jörg
प्रकाशित: (2021)

Dependable Embedded Systems
द्वारा: Henkel, Jörg
प्रकाशित: (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
प्रकाशित: (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
प्रकाशित: (2020)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
द्वारा: Marwedel, Peter
प्रकाशित: (2021)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
द्वारा: Marwedel, Peter
प्रकाशित: (2021)

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /
प्रकाशित: (2020)

Designing Data Spaces The Ecosystem Approach to Competitive Advantage /
प्रकाशित: (2022)