The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentativ

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze

Communication, Management and Information Technology contains the contributions presented at the International Conference on Communication, Management and Infor

As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially f

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 ca