This book is an introduction to nature-analogous techniques and related formal methods. For each technique, application examples are provided. It covers cellular automata and Boolean networks, evolutionary algorithms, as well as simulated annealin...Lasīt vairāk
For the first time in the series, the 2021 conference on formal ontology in information systems was in hybrid format, with some on-site attendance in Bolzano, Italy and virtual attendance online; sessions typically included both types of attendee...Lasīt vairāk
This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems-- An introduction to formal methods for feedback control of multi-agent systems with safety and perfo...Lasīt vairāk
FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, lin...Lasīt vairāk
This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Techn...Lasīt vairāk
(Izdošanas datums: 01-Mar-2025, Other book format, Izdevniecība: MIT Press, ISBN-13: 9780262382809)
This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems-- An introduction to formal methods for feedback control of multi-agent systems with safety and perfo...Lasīt vairāk
This Festschrift reflects Professor Wang Yis contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991,...Lasīt vairāk
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were careful...Lasīt vairāk
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024...Lasīt vairāk
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers and 1 short paper included in this book...Lasīt vairāk
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed an...Lasīt vairāk
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in...Lasīt vairāk
FCA is an important formalism that is associated with a variety of research areas such as lattice theory, knowledge representation, data mining, machine learning, and semantic Web. It is successfully exploited in an increasing number of applicat...Lasīt vairāk
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification method...Lasīt vairāk
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.The 24 full papers presented in this volume were carefully revie...Lasīt vairāk
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed...Lasīt vairāk
The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice....Lasīt vairāk
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this b...Lasīt vairāk
This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering, EPEW 2023, and 27th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2023, held in Flo...Lasīt vairāk
