Vor Ort
Merkzettel Warenkorb
Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Band 15219 - 17%

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

Aus der Reihe Lecture Notes in Computer Science
17% sparen

72,99 € UVP 87,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.2024

Herausgeber

Tiziana Margaria + weitere

Verlag

Springer

Seitenzahl

428

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Sprache

Englisch

ISBN

978-3-031-73708-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.2024

Herausgeber

Verlag

Springer

Seitenzahl

428

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Sprache

Englisch

ISBN

978-3-031-73708-4

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. REoCAS Colloquium in Honor of Rocco De Nicola

  • Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday.- Systems Security Modeling and Analysis at IMT Lucca.- Klaim in the making.- Formal approaches for modeling and analysis of business process collaborations.- An abstract account of  up-to techniques for inductive behavioural relations.- Language equivalence from Nondeterministic to Weighted Automata --- and back.- A Process Algebraic View of In/Out Prisoners.- Towards a Formal Testing Theory for Quantum  Processes.- Testing Quantum Processes.- The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops.- Towards a probabilistic programming approach to analyse collective adaptive systems.- Can AI Help with the Formalization of Railway Cybersecurity Requirements?.- White-box validation of collective adaptive systems by statistical model checking and process mining.- Analysing collective adaptive systems by proving theorems.- Engineering Ethical-aware Collective Adaptive Systems.- Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification.- Flocks of Birds: A Quantitative Evaluation.- Strategies in spatio-temporal logics for multi-agent systems.- Function-as-a-Service Allocation Policies Made Formal.- Asynchronous Multiparty Sessions with Internal Delegation.- Code-centric Code Generation.- Attack Tree Generation via Process Mining.- Local Spaces in Soft Concurrent Constraint Programming Oriented to Security.- Riding the data storms: specifying and analysing IoT security requirements with SURFING.- Preventing Out-of-Gas Exceptions by Typing.