Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lee mas
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
Lee mas
Architecting Dependable Systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
Lee mas
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lee mas
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lee mas
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lee mas
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Lee mas
Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...
Lee mas
Implementation and Application of Automata (vol. # 3317)
This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
Lee mas
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lee mas
Model-Based Testing of Reactive Systems
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Lee masModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Lee mas
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Lee mas
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
