Description

Book Synopsis

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.-

Leveraging Applications of Formal Methods

Product form

£58.49

Includes FREE delivery

RRP £64.99 – you save £6.50 (10%)

Order before 4pm today for delivery by Sat 24 Jan 2026.

A Paperback by Tiziana Margaria

1 in stock


    View other formats and editions of Leveraging Applications of Formal Methods by Tiziana Margaria

    Publisher: Springer
    Publication Date: 10/9/2024
    ISBN13: 9783031737084, 978-3031737084
    ISBN10: 3031737083
    Also in:
    Software Engineering

    Description

    Book Synopsis

    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.-

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account