مؤلف: Nicolas Halbwachs

This book will attempt to give a first synthesis of recent works con- cerning reactive system design. The term "reactive system" has been introduced in order to at’oid the ambiguities often …

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of …

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV’99, held in Trento, Italy in July 1999 as part of FLo C’99.The 34 revised full …