rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Formal Techniques for Distributed Objects, Components, and Systems
    sub title: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
  name:
    name part: Baier, Christel.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Caires, Luís.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XI, 197 p. 2095 illus., 16 illus. in color. online resource.
  abstract: This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
  table of contents: Component- and Model-Based Design.-Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis.
  note: edited by Christel Baier, Luís Caires.
  subject:
    topic: Software engineering
  subject:
    topic: Operating systems (Computers)
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer security
  subject:
    topic: Computer communication systems
  subject:
    topic: Architecture, Computer
  subject:
    topic: Software Engineering
  subject:
    topic: Operating Systems
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Systems and Data Security
  subject:
    topic: Computer Communication Networks
  subject:
    topic: Computer System Implementation
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Programming and Software Engineering ; 10854
  identifier: 9783319926124
  identifier: https://doi.org/10.1007/978-3-319-92612-4
  record info:
    record creation date: 180529
    record change date: 20191023132320.0
    record identifier: 978-3-319-92612-4