Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-31

AUTHORS

Rocco De Nicola , Stefan Jähnichen , Martin Wirsing

ABSTRACT

A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to new requirements. Rigorous engineering requires appropriate methods and tools that help guarantee that a collective adaptive system lives up to its intended purpose. This note gives an introduction to the track ‘Rigorous Engineering of Collective Adaptive Systems.’ It shortly presents the panel discussion on ‘The Meaning of Adaptation: Mastering the Unforeseen?’ and 18 scientific contributions, structured into six thematic sessions: Formal Modelling of Collective Adaptive Systems, Engineering Collective Adaptive Systems, Security and Analysis of Collective Adaptive Systems, Machine Learning and Evolutionary Computing for Collective Adaptive Systems, and Software Support for Programming and Modeling Collective Adaptive Systems. More... »

PAGES

3-12

References to SciGraph publications

  • 2011. Towards a System Model for Ensembles in FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS
  • 2018-10-31. Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2016. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications in NONE
  • 2018-10-31. Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2013. ASCENS: Engineering Autonomic Service-Component Ensembles in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2018-10-31. The Sharer’s Dilemma in Collective Adaptive Systems of Self-interested Agents in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2016. Rigorous Engineering of Collective Adaptive Systems Track Introduction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2018-10-31. Dynamic Security Specification Through Autonomic Component Ensembles in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Differential Equivalence Yields Network Centrality in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2016. On the Power of Attribute-Based Communication in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS
  • 1986-03. A logic-based calculus of events in NEW GENERATION COMPUTING
  • 2008. Engineering of Software-Intensive Systems: State of the Art and Research Challenges in SOFTWARE-INTENSIVE SYSTEMS AND NEW COMPUTING PARADIGMS
  • 2012. Exact Fluid Lumpability for Markovian Process Algebra in CONCUR 2012 – CONCURRENCY THEORY
  • 2018-10-31. Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. The Meaning of Adaptation: Mastering the Unforeseen? in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Mutation-Based Test Suite Evolution for Self-Organizing Systems in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Modelling the Transition to Distributed Ledgers in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Engineering Collectives of Self-driving Vehicles: The SOTA Approach in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2014. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II in NONE
  • 2018-10-31. DReAM: Dynamic Reconfigurable Architecture Modeling in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Dynamic Logic for Ensembles in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2016. Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2012. Rigorous System Design: The BIP Approach in MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE
  • 2015. Software Engineering for Collective Autonomic Systems, The ASCENS Approach in NONE
  • 2018-10-31. Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. GoAt: Attribute-Based Interaction in Google Go in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • Book

    TITLE

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    ISBN

    978-3-030-03423-8
    978-3-030-03424-5

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_1

    DOI

    http://dx.doi.org/10.1007/978-3-030-03424-5_1

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1107922850


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "IMT Institute for Advanced Studies Lucca", 
              "id": "https://www.grid.ac/institutes/grid.462365.0", 
              "name": [
                "IMT School for Advanced Studies Lucca, Lucca, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "De Nicola", 
            "givenName": "Rocco", 
            "id": "sg:person.07767717642.84", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767717642.84"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Technical University of Berlin", 
              "id": "https://www.grid.ac/institutes/grid.6734.6", 
              "name": [
                "TU Berlin and FZI Forschungszentrum Informatik, Berlin, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "J\u00e4hnichen", 
            "givenName": "Stefan", 
            "id": "sg:person.01060061215.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01060061215.31"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wirsing", 
            "givenName": "Martin", 
            "id": "sg:person.010602274463.18", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bf03037383", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009771608", 
              "https://doi.org/10.1007/bf03037383"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03037383", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009771608", 
              "https://doi.org/10.1007/bf03037383"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-32940-1_27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011745790", 
              "https://doi.org/10.1007/978-3-642-32940-1_27"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-47166-2_44", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012151068", 
              "https://doi.org/10.1007/978-3-319-47166-2_44"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.procs.2011.09.006", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017433173"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-45231-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017869276", 
              "https://doi.org/10.1007/978-3-662-45231-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-45231-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017869276", 
              "https://doi.org/10.1007/978-3-662-45231-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-35887-6_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021286910", 
              "https://doi.org/10.1007/978-3-642-35887-6_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-25929-6_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021503646", 
              "https://doi.org/10.1007/978-3-642-25929-6_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-47169-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022534069", 
              "https://doi.org/10.1007/978-3-319-47169-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-47166-2_37", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031927622", 
              "https://doi.org/10.1007/978-3-319-47166-2_37"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-39570-8_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034458219", 
              "https://doi.org/10.1007/978-3-319-39570-8_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034573417", 
              "https://doi.org/10.1007/978-3-319-16310-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034573417", 
              "https://doi.org/10.1007/978-3-319-16310-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-24933-4_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035098854", 
              "https://doi.org/10.1007/978-3-642-24933-4_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039389334", 
              "https://doi.org/10.1007/978-3-540-89437-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039389334", 
              "https://doi.org/10.1007/978-3-540-89437-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/mc.2016.377", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061389374"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tc.2008.26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061534646"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2196/jmir.5927", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069286507"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4204/eptcs.194.2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072355572"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/acprof:oso/9780199206650.001.0001", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098762313"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922851", 
              "https://doi.org/10.1007/978-3-030-03424-5_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922851", 
              "https://doi.org/10.1007/978-3-030-03424-5_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922852", 
              "https://doi.org/10.1007/978-3-030-03424-5_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922852", 
              "https://doi.org/10.1007/978-3-030-03424-5_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922853", 
              "https://doi.org/10.1007/978-3-030-03424-5_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922853", 
              "https://doi.org/10.1007/978-3-030-03424-5_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922854", 
              "https://doi.org/10.1007/978-3-030-03424-5_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922854", 
              "https://doi.org/10.1007/978-3-030-03424-5_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922855", 
              "https://doi.org/10.1007/978-3-030-03424-5_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922855", 
              "https://doi.org/10.1007/978-3-030-03424-5_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922856", 
              "https://doi.org/10.1007/978-3-030-03424-5_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922856", 
              "https://doi.org/10.1007/978-3-030-03424-5_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922857", 
              "https://doi.org/10.1007/978-3-030-03424-5_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922857", 
              "https://doi.org/10.1007/978-3-030-03424-5_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922858", 
              "https://doi.org/10.1007/978-3-030-03424-5_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922858", 
              "https://doi.org/10.1007/978-3-030-03424-5_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922859", 
              "https://doi.org/10.1007/978-3-030-03424-5_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922859", 
              "https://doi.org/10.1007/978-3-030-03424-5_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922860", 
              "https://doi.org/10.1007/978-3-030-03424-5_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922860", 
              "https://doi.org/10.1007/978-3-030-03424-5_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922861", 
              "https://doi.org/10.1007/978-3-030-03424-5_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922861", 
              "https://doi.org/10.1007/978-3-030-03424-5_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922862", 
              "https://doi.org/10.1007/978-3-030-03424-5_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922862", 
              "https://doi.org/10.1007/978-3-030-03424-5_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922872", 
              "https://doi.org/10.1007/978-3-030-03424-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922872", 
              "https://doi.org/10.1007/978-3-030-03424-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922878", 
              "https://doi.org/10.1007/978-3-030-03424-5_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922878", 
              "https://doi.org/10.1007/978-3-030-03424-5_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922879", 
              "https://doi.org/10.1007/978-3-030-03424-5_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922879", 
              "https://doi.org/10.1007/978-3-030-03424-5_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922880", 
              "https://doi.org/10.1007/978-3-030-03424-5_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922880", 
              "https://doi.org/10.1007/978-3-030-03424-5_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922881", 
              "https://doi.org/10.1007/978-3-030-03424-5_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922881", 
              "https://doi.org/10.1007/978-3-030-03424-5_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922882", 
              "https://doi.org/10.1007/978-3-030-03424-5_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922882", 
              "https://doi.org/10.1007/978-3-030-03424-5_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922883", 
              "https://doi.org/10.1007/978-3-030-03424-5_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922883", 
              "https://doi.org/10.1007/978-3-030-03424-5_9"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-10-31", 
        "datePublishedReg": "2018-10-31", 
        "description": "A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to new requirements. Rigorous engineering requires appropriate methods and tools that help guarantee that a collective adaptive system lives up to its intended purpose. This note gives an introduction to the track \u2018Rigorous Engineering of Collective Adaptive Systems.\u2019 It shortly presents the panel discussion on \u2018The Meaning of Adaptation: Mastering the Unforeseen?\u2019 and 18 scientific contributions, structured into six thematic sessions: Formal Modelling of Collective Adaptive Systems, Engineering Collective Adaptive Systems, Security and Analysis of Collective Adaptive Systems, Machine Learning and Evolutionary Computing for Collective Adaptive Systems, and Software Support for Programming and Modeling Collective Adaptive Systems.", 
        "editor": [
          {
            "familyName": "Margaria", 
            "givenName": "Tiziana", 
            "type": "Person"
          }, 
          {
            "familyName": "Steffen", 
            "givenName": "Bernhard", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-030-03424-5_1", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-030-03423-8", 
            "978-3-030-03424-5"
          ], 
          "name": "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems", 
          "type": "Book"
        }, 
        "name": "Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition", 
        "pagination": "3-12", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-030-03424-5_1"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "a822d1c19affac8664a06e67c0694806b861eac9ad7f011cf02ca49887b9cc8c"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1107922850"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-030-03424-5_1", 
          "https://app.dimensions.ai/details/publication/pub.1107922850"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T04:40", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000322_0000000322/records_64987_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-030-03424-5_1"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_1'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_1'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_1'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_1'


     

    This table displays all metadata directly associated to this object as RDF triples.

    232 TRIPLES      23 PREDICATES      63 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-030-03424-5_1 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N6bcbf1e538254ca2abdd8467027034ed
    4 schema:citation sg:pub.10.1007/978-3-030-03424-5_10
    5 sg:pub.10.1007/978-3-030-03424-5_11
    6 sg:pub.10.1007/978-3-030-03424-5_12
    7 sg:pub.10.1007/978-3-030-03424-5_13
    8 sg:pub.10.1007/978-3-030-03424-5_14
    9 sg:pub.10.1007/978-3-030-03424-5_15
    10 sg:pub.10.1007/978-3-030-03424-5_16
    11 sg:pub.10.1007/978-3-030-03424-5_17
    12 sg:pub.10.1007/978-3-030-03424-5_18
    13 sg:pub.10.1007/978-3-030-03424-5_19
    14 sg:pub.10.1007/978-3-030-03424-5_2
    15 sg:pub.10.1007/978-3-030-03424-5_20
    16 sg:pub.10.1007/978-3-030-03424-5_3
    17 sg:pub.10.1007/978-3-030-03424-5_4
    18 sg:pub.10.1007/978-3-030-03424-5_5
    19 sg:pub.10.1007/978-3-030-03424-5_6
    20 sg:pub.10.1007/978-3-030-03424-5_7
    21 sg:pub.10.1007/978-3-030-03424-5_8
    22 sg:pub.10.1007/978-3-030-03424-5_9
    23 sg:pub.10.1007/978-3-319-16310-9
    24 sg:pub.10.1007/978-3-319-39570-8_1
    25 sg:pub.10.1007/978-3-319-47166-2_37
    26 sg:pub.10.1007/978-3-319-47166-2_44
    27 sg:pub.10.1007/978-3-319-47169-3
    28 sg:pub.10.1007/978-3-540-89437-7_1
    29 sg:pub.10.1007/978-3-642-24933-4_12
    30 sg:pub.10.1007/978-3-642-25929-6_1
    31 sg:pub.10.1007/978-3-642-32940-1_27
    32 sg:pub.10.1007/978-3-642-35887-6_1
    33 sg:pub.10.1007/978-3-662-45231-8
    34 sg:pub.10.1007/bf03037383
    35 https://doi.org/10.1016/j.procs.2011.09.006
    36 https://doi.org/10.1093/acprof:oso/9780199206650.001.0001
    37 https://doi.org/10.1109/mc.2016.377
    38 https://doi.org/10.1109/tc.2008.26
    39 https://doi.org/10.2196/jmir.5927
    40 https://doi.org/10.4204/eptcs.194.2
    41 schema:datePublished 2018-10-31
    42 schema:datePublishedReg 2018-10-31
    43 schema:description A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to new requirements. Rigorous engineering requires appropriate methods and tools that help guarantee that a collective adaptive system lives up to its intended purpose. This note gives an introduction to the track ‘Rigorous Engineering of Collective Adaptive Systems.’ It shortly presents the panel discussion on ‘The Meaning of Adaptation: Mastering the Unforeseen?’ and 18 scientific contributions, structured into six thematic sessions: Formal Modelling of Collective Adaptive Systems, Engineering Collective Adaptive Systems, Security and Analysis of Collective Adaptive Systems, Machine Learning and Evolutionary Computing for Collective Adaptive Systems, and Software Support for Programming and Modeling Collective Adaptive Systems.
    44 schema:editor N2ffc8596fcc34e6c9afa9caa5dd5be0b
    45 schema:genre chapter
    46 schema:inLanguage en
    47 schema:isAccessibleForFree false
    48 schema:isPartOf N1180c9cb5a004a3292b097b2465721dd
    49 schema:name Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
    50 schema:pagination 3-12
    51 schema:productId N470407f6a78e4f7f951f5f79d68b7767
    52 N4e432b0983bf4a7a8cfdfbd0e844e3fd
    53 N71d212eb7c374f7d9675414a9b4880e1
    54 schema:publisher N522c82c55e4f40fd98f5a7f72e1b33e3
    55 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922850
    56 https://doi.org/10.1007/978-3-030-03424-5_1
    57 schema:sdDatePublished 2019-04-16T04:40
    58 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    59 schema:sdPublisher N13707ab40bbf4cb5a9dcd60089d0f72d
    60 schema:url https://link.springer.com/10.1007%2F978-3-030-03424-5_1
    61 sgo:license sg:explorer/license/
    62 sgo:sdDataset chapters
    63 rdf:type schema:Chapter
    64 N1180c9cb5a004a3292b097b2465721dd schema:isbn 978-3-030-03423-8
    65 978-3-030-03424-5
    66 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    67 rdf:type schema:Book
    68 N13707ab40bbf4cb5a9dcd60089d0f72d schema:name Springer Nature - SN SciGraph project
    69 rdf:type schema:Organization
    70 N2336ca9dfaca4aa3b90bf0927c571e90 schema:familyName Steffen
    71 schema:givenName Bernhard
    72 rdf:type schema:Person
    73 N2ffc8596fcc34e6c9afa9caa5dd5be0b rdf:first Ncb956eba917e46afbe80d0f70d4e4952
    74 rdf:rest N64b0ba0026c247b1ae2f3010c6ad3b71
    75 N470407f6a78e4f7f951f5f79d68b7767 schema:name doi
    76 schema:value 10.1007/978-3-030-03424-5_1
    77 rdf:type schema:PropertyValue
    78 N4e432b0983bf4a7a8cfdfbd0e844e3fd schema:name dimensions_id
    79 schema:value pub.1107922850
    80 rdf:type schema:PropertyValue
    81 N522c82c55e4f40fd98f5a7f72e1b33e3 schema:location Cham
    82 schema:name Springer International Publishing
    83 rdf:type schema:Organisation
    84 N64b0ba0026c247b1ae2f3010c6ad3b71 rdf:first N2336ca9dfaca4aa3b90bf0927c571e90
    85 rdf:rest rdf:nil
    86 N6bcbf1e538254ca2abdd8467027034ed rdf:first sg:person.07767717642.84
    87 rdf:rest N9b3776ff6d30432383e5d95be4fcbb9f
    88 N71d212eb7c374f7d9675414a9b4880e1 schema:name readcube_id
    89 schema:value a822d1c19affac8664a06e67c0694806b861eac9ad7f011cf02ca49887b9cc8c
    90 rdf:type schema:PropertyValue
    91 N9b3776ff6d30432383e5d95be4fcbb9f rdf:first sg:person.01060061215.31
    92 rdf:rest Nb4e044ccdc1d46078eee1d7fe2beff37
    93 Nb4e044ccdc1d46078eee1d7fe2beff37 rdf:first sg:person.010602274463.18
    94 rdf:rest rdf:nil
    95 Ncb956eba917e46afbe80d0f70d4e4952 schema:familyName Margaria
    96 schema:givenName Tiziana
    97 rdf:type schema:Person
    98 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    99 schema:name Information and Computing Sciences
    100 rdf:type schema:DefinedTerm
    101 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    102 schema:name Computer Software
    103 rdf:type schema:DefinedTerm
    104 sg:person.01060061215.31 schema:affiliation https://www.grid.ac/institutes/grid.6734.6
    105 schema:familyName Jähnichen
    106 schema:givenName Stefan
    107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01060061215.31
    108 rdf:type schema:Person
    109 sg:person.010602274463.18 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    110 schema:familyName Wirsing
    111 schema:givenName Martin
    112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18
    113 rdf:type schema:Person
    114 sg:person.07767717642.84 schema:affiliation https://www.grid.ac/institutes/grid.462365.0
    115 schema:familyName De Nicola
    116 schema:givenName Rocco
    117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767717642.84
    118 rdf:type schema:Person
    119 sg:pub.10.1007/978-3-030-03424-5_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922851
    120 https://doi.org/10.1007/978-3-030-03424-5_10
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/978-3-030-03424-5_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922852
    123 https://doi.org/10.1007/978-3-030-03424-5_11
    124 rdf:type schema:CreativeWork
    125 sg:pub.10.1007/978-3-030-03424-5_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922853
    126 https://doi.org/10.1007/978-3-030-03424-5_12
    127 rdf:type schema:CreativeWork
    128 sg:pub.10.1007/978-3-030-03424-5_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922854
    129 https://doi.org/10.1007/978-3-030-03424-5_13
    130 rdf:type schema:CreativeWork
    131 sg:pub.10.1007/978-3-030-03424-5_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922855
    132 https://doi.org/10.1007/978-3-030-03424-5_14
    133 rdf:type schema:CreativeWork
    134 sg:pub.10.1007/978-3-030-03424-5_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922856
    135 https://doi.org/10.1007/978-3-030-03424-5_15
    136 rdf:type schema:CreativeWork
    137 sg:pub.10.1007/978-3-030-03424-5_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922857
    138 https://doi.org/10.1007/978-3-030-03424-5_16
    139 rdf:type schema:CreativeWork
    140 sg:pub.10.1007/978-3-030-03424-5_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922858
    141 https://doi.org/10.1007/978-3-030-03424-5_17
    142 rdf:type schema:CreativeWork
    143 sg:pub.10.1007/978-3-030-03424-5_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922859
    144 https://doi.org/10.1007/978-3-030-03424-5_18
    145 rdf:type schema:CreativeWork
    146 sg:pub.10.1007/978-3-030-03424-5_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922860
    147 https://doi.org/10.1007/978-3-030-03424-5_19
    148 rdf:type schema:CreativeWork
    149 sg:pub.10.1007/978-3-030-03424-5_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922861
    150 https://doi.org/10.1007/978-3-030-03424-5_2
    151 rdf:type schema:CreativeWork
    152 sg:pub.10.1007/978-3-030-03424-5_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922862
    153 https://doi.org/10.1007/978-3-030-03424-5_20
    154 rdf:type schema:CreativeWork
    155 sg:pub.10.1007/978-3-030-03424-5_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922872
    156 https://doi.org/10.1007/978-3-030-03424-5_3
    157 rdf:type schema:CreativeWork
    158 sg:pub.10.1007/978-3-030-03424-5_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922878
    159 https://doi.org/10.1007/978-3-030-03424-5_4
    160 rdf:type schema:CreativeWork
    161 sg:pub.10.1007/978-3-030-03424-5_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922879
    162 https://doi.org/10.1007/978-3-030-03424-5_5
    163 rdf:type schema:CreativeWork
    164 sg:pub.10.1007/978-3-030-03424-5_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922880
    165 https://doi.org/10.1007/978-3-030-03424-5_6
    166 rdf:type schema:CreativeWork
    167 sg:pub.10.1007/978-3-030-03424-5_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922881
    168 https://doi.org/10.1007/978-3-030-03424-5_7
    169 rdf:type schema:CreativeWork
    170 sg:pub.10.1007/978-3-030-03424-5_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922882
    171 https://doi.org/10.1007/978-3-030-03424-5_8
    172 rdf:type schema:CreativeWork
    173 sg:pub.10.1007/978-3-030-03424-5_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922883
    174 https://doi.org/10.1007/978-3-030-03424-5_9
    175 rdf:type schema:CreativeWork
    176 sg:pub.10.1007/978-3-319-16310-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034573417
    177 https://doi.org/10.1007/978-3-319-16310-9
    178 rdf:type schema:CreativeWork
    179 sg:pub.10.1007/978-3-319-39570-8_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034458219
    180 https://doi.org/10.1007/978-3-319-39570-8_1
    181 rdf:type schema:CreativeWork
    182 sg:pub.10.1007/978-3-319-47166-2_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031927622
    183 https://doi.org/10.1007/978-3-319-47166-2_37
    184 rdf:type schema:CreativeWork
    185 sg:pub.10.1007/978-3-319-47166-2_44 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012151068
    186 https://doi.org/10.1007/978-3-319-47166-2_44
    187 rdf:type schema:CreativeWork
    188 sg:pub.10.1007/978-3-319-47169-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022534069
    189 https://doi.org/10.1007/978-3-319-47169-3
    190 rdf:type schema:CreativeWork
    191 sg:pub.10.1007/978-3-540-89437-7_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039389334
    192 https://doi.org/10.1007/978-3-540-89437-7_1
    193 rdf:type schema:CreativeWork
    194 sg:pub.10.1007/978-3-642-24933-4_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035098854
    195 https://doi.org/10.1007/978-3-642-24933-4_12
    196 rdf:type schema:CreativeWork
    197 sg:pub.10.1007/978-3-642-25929-6_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021503646
    198 https://doi.org/10.1007/978-3-642-25929-6_1
    199 rdf:type schema:CreativeWork
    200 sg:pub.10.1007/978-3-642-32940-1_27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011745790
    201 https://doi.org/10.1007/978-3-642-32940-1_27
    202 rdf:type schema:CreativeWork
    203 sg:pub.10.1007/978-3-642-35887-6_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021286910
    204 https://doi.org/10.1007/978-3-642-35887-6_1
    205 rdf:type schema:CreativeWork
    206 sg:pub.10.1007/978-3-662-45231-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017869276
    207 https://doi.org/10.1007/978-3-662-45231-8
    208 rdf:type schema:CreativeWork
    209 sg:pub.10.1007/bf03037383 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009771608
    210 https://doi.org/10.1007/bf03037383
    211 rdf:type schema:CreativeWork
    212 https://doi.org/10.1016/j.procs.2011.09.006 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017433173
    213 rdf:type schema:CreativeWork
    214 https://doi.org/10.1093/acprof:oso/9780199206650.001.0001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098762313
    215 rdf:type schema:CreativeWork
    216 https://doi.org/10.1109/mc.2016.377 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061389374
    217 rdf:type schema:CreativeWork
    218 https://doi.org/10.1109/tc.2008.26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061534646
    219 rdf:type schema:CreativeWork
    220 https://doi.org/10.2196/jmir.5927 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069286507
    221 rdf:type schema:CreativeWork
    222 https://doi.org/10.4204/eptcs.194.2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072355572
    223 rdf:type schema:CreativeWork
    224 https://www.grid.ac/institutes/grid.462365.0 schema:alternateName IMT Institute for Advanced Studies Lucca
    225 schema:name IMT School for Advanced Studies Lucca, Lucca, Italy
    226 rdf:type schema:Organization
    227 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
    228 schema:name Ludwig-Maximilians-Universität München, Munich, Germany
    229 rdf:type schema:Organization
    230 https://www.grid.ac/institutes/grid.6734.6 schema:alternateName Technical University of Berlin
    231 schema:name TU Berlin and FZI Forschungszentrum Informatik, Berlin, Germany
    232 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...