tiziana margaria
Formal Methods for Industrial Critical Systems
Sofort lieferbarToday, formal methods are widely recognized as an essential step in the design process of industr...
Formal Methods for Industrial Critical Systems
Sofort lieferbarToday, formal methods are widely recognized as an essential step in the design process of industr...
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Print on DemandThe open access ISoLA 2026 proceedings constitutes contributions of the associated events held at...
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts
Print on DemandThe open access ISoLA 2026 proceedings constitutes contributions of the associated events held at...
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
Print on DemandThe open access ISoLA 2026 proceedings constitutes contributions of the associated events held at...
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems
Print on DemandThe open access ISoLA 2026 proceedings constitutes contributions of the associated events held at...
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Print on DemandThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Print on DemandThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...
Tools and Algorithms for the Construction and Analysis of Systems
Print on DemandThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
Tools and Algorithms for the Construction and Analysis of Systems
Print on DemandThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
Print on DemandThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...
Leveraging Applications of Formal Methods, Verification and Validation.Technologies for Mastering Change
Print on DemandThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...