Katalog GES

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

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,... Full description

1st Person: Mizuno, Tadanori
Additional Corporate Bodies: SpringerLink (Online service)
Additional Persons: Shiratori, Norio [editor]; Higashino, Teruo [editor]; Togashi, Atsushi [editor]
Type of Publication: Book
Published: Boston, MA Springer US 1997, 1997
Series: IFIP — The International Federation for Information Processing
Keywords: Computer science
Computer Communication Networks
Computer Science
Computer Communication Networks
Signal, Image and Speech Processing
Online: Volltext
  Search for full text



Similar Items

Cannot find similar records

Library Services

Search Options

Quick links