Vor Ort
Merkzettel Warenkorb
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

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

Aus der Reihe Theoretical Computer Science and General Issues

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.10.2020

Herausgeber

Tiziana Margaria + weitere

Verlag

Springer

Seitenzahl

544

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

838 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-61469-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.10.2020

Herausgeber

Verlag

Springer

Seitenzahl

544

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

838 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-61469-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

  • Automating Software Re-Engineering (Introduction to the ISoLA 2020 Track).- Formal Verification of Developer Tests: a Research Agenda Inspired by Mutation Testing.- Modular Regression Verification for Reactive Systems.- Finding Idioms in Source Code using Subtree Counting Techniques.- Parametric Timed Bisimulation.- A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.- Thirty-seven years of relational Hoare logic: remarks on its principles and history.- Safer Parallelization.- Refactoring and Active Object Languages.- Rigorous Engineering of Collective Adaptive Systems  --  Introduction to the 3rd Track Edition.- Composition of Component Models - a Key to Construct Big Systems.- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles.- Engineering semantic self-composition of services through tuple-based coordination.- A Dynamic Logic for Systems with Predicate-based Communication.- Behavioural Abstractions for Collective AdaptiveSystems.- Verifying AbC specifications via emulation.- Adaptive Security Policies.- Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns.- Guaranteeing Type Consistency in Collective Adaptive Systems.- Epistemic Logic in Ensemble Specification.- FScaFi: a Core Calculus for Collective Adaptive Systems Programming.- Writing Robotics Applications with X-Klaim.- Measuring Adaptability and Reliability of Large Scaled Systems.- Centrality-preserving exact reductions of Multi-Layer Networks.- Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification.- Forming Ensembles at Runtime: A Machine Learning Approach.- Synthesizing Control for a System with Black Box Environment, based on Deep Learning.- A Formal Model For Reasoning About The Ideal Fitness In Evolutionary Processes.- A case study of policy synthesis for swarm robotics..- Maple-Swarm: Programming Collective Behavior for Ensembles by extending HTN-Planning.- Swarm and Collective Capabilities for Multipotent Robot Ensembles.