Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Description
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;
I have a question about the book:
'Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - '.
Fill in the form below.
We will respond as fast as possible.
We value your privacy
We use cookies to measure traffic, improve Boekstra and let Google tailor ads to your interests. You can keep using the site either way — even if you decline. More info
