TTCN-3 Bibliography

WIKINDX Resources

A. Togashi, T. Mizuno, N. Shiratori, and T. Higashino, Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97ser. IFIP International Federation for Information Processing, Berlin Heidelberg: Springer-Verlag, 1997, 
Added by: Deleted user (22 Oct 2008 12:10:26 Europe/Berlin)   
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)
Views: 5/1235
Views index: %
Popularity index: 1.25%
   URLs   http://www.springer.com/computer/communications/book/978-0-412-82060-1
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 5.2.1 ©2017 | Total resources: 340 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: Institute of Electrical and Electronics Engineers (IEEE) | Database queries: 50 | DB execution: 0.08073 secs | Script execution: 0.11861 secs