Search Results

Dynamics and Modelling of Reactive Systems contains the proceedings of the Advanced Seminar on Dynamics and Modeling of Reactive Systems, held at the University

This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents a

The papers collected in this volume, presented at the workshop on 'Nonlinear Problems in Engineering', held in ENEA Rome (Italy) from 6 - 7 May 1991, and sponso

Inspired by the leading authority in the field, the Centre for Process Systems Engineering at Imperial College London, this book includes theoretical developmen