 | | Principles of Model CheckingOur growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a... | | Submarine Mass Movements and their Consequences: 7th International Symposium
This book is a comprehensive collection of state-of-the-art studies of seafloor slope instability and their societal implications. The volume captures the most recent and exciting scientific progress made in this research field.
As the world’s climate and energy needs change, the conditions under which slope instability... |
