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

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

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

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