TTCN-3 Bibliography

WIKINDX Resources  

Togashi, A., Mizuno, T., Shiratori, N., & Higashino, T. (1997). Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII '97. Berlin Heidelberg: Springer-Verlag. 
Added by: Deleted user (22/10/2008, 12:10)   
Resource type: Book
ID no. (ISBN etc.): ISBN: 978-0-412-82060-1
BibTeX citation key: Togashi1997
View all bibliographic details
 Categories: General
Creators: Higashino, Mizuno, Shiratori, Togashi
Publisher: Springer-Verlag (Berlin Heidelberg)
Collection: 		Views: 59/2417
Abstract
FORTE/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.
Added by: Deleted user  
WIKINDX 6.7.0 | Total resources: 347 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: American Psychological Association (APA)