Formal Description Techniques and Protocol Specification, Testing and Verification

Beschreibung

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.

Autor*in

Atsushi Togashi

Themen in »Formal Description Techniques and Protocol Specification, Testing and Verification«

algebra communication distributed systems information logic network

Stimmen zu »Formal Description Techniques and Protocol Specification, Testing and Verification«

Details

Link teilen