Formal Description Techniques IX: Theory, application and tools - IFIP Advances in Information and Communication Technology 1996 edition

Marc Notes: Includes bibliographical references and index. Table of Contents: Tools and tool support. FDT-application. FDT-based system and protocol engineering. Performance modelling and analysis. Real-time and probability aspects. Verification and validation. Industrial usage reports. Extensions of FDTs and semantical foundations.

Contributor Bio:  Woolf, Virginia Virginia Woolf was an influential English author best known for her involvement with the Bloomsbury Group, an association of intellectuals and artists including, John Maynard Keynes and E. M. Forster, who are credited with influencing early twentieth-century literature, criticism, and economics. Woolf became a prolific writer in between the two World Wars, and some of her most famous works, including Mrs. Dalloway and To the Lighthouse, are now among the most prominent English books of the modern period. A life-long sufferer of depression, Woolf was institutionalized numerous times before taking her own life in 1941.