Items related to Formal Description Techniques and Protocol Specification,...

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - Softcover

 
9781475752595: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97
Softcover
ISBN 10: 1475752598 ISBN 13: 9781475752595
Publisher: Springer, 2014

Synopsis

Invited 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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
1475752598
ISBN 13 
9781475752595
Binding
Paperback
Number of pages
570
Editor
Togashi Atsushi, Mizuno Tadanori, Shiratori Norio