Free Delivery Over $100
|
|
|||
|
||||
OverviewFORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers. Full Product DetailsAuthor: Atsushi Togashi , Tadanori Mizuno , Norio Shiratori , Teruo HigashinoPublisher: Springer-Verlag New York Inc. Imprint: Springer-Verlag New York Inc. Edition: Softcover reprint of the original 1st ed. 1997 Dimensions: Width: 15.50cm , Height: 2.90cm , Length: 23.50cm Weight: 0.860kg ISBN: 9781475752601ISBN 10: 1475752601 Pages: 550 Publication Date: 11 January 2013 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsInvited talk I: network and application for new generation. Testing theory for concurrent systems. MSC and ODP. LOTOS and extension. Verification technique. Conformance testing. Invited talk II: the future information technology and its impact to the society. Real time systems. Languages and applications. Industrial usage reports. Invited talk III: distributed object consistency. Concurrent systems.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
