Formal Ontology in Information Systems (FOIS) is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and…
Formal Ontology in Information Systems (FOIS) is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and…
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.…
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume…
by DisCoTec, Lucca, FORTE, Lucca, International Federation for Information Processing, Working Group Architectures and Protocols for Distributed Systems
fromLecture Notes in Computer Science
by International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Lucca, Italy), International Federated Conferences on Distributed Computing Techniques, Luca, Italy)
fromLecture Notes in Computer Science
by International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Lucca, Italy), International Federated Conferences on Distributed Computing Techniques, Luca, Italy)
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distri…
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. The contributions in the four…
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organize…
by International Conference on Software Engineering and Formal Methods, Online), ASYDE (Workshop), Online), CIFMA (Workshop), Online), CoSim-CPS (Workshop), Online)
fromLecture Notes in Computer Science
This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 15 full papers presented together with…
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 1…
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020. The 7 revised papers presented together with an invited paper were carefully reviewed and se…
Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
