Formal Description Techniques and Protocol Specification, Testing and Verification (inbunden)
Format
Inbunden (Hardback)
Språk
Engelska
Antal sidor
550
Utgivningsdatum
1997-10-01
Upplaga
1997 ed.
Förlag
Chapman and Hall
Medarbetare
Mizuno, Tadanori / Shiratori, Norio
Illustrationer
XI, 550 p.
Volymtitel
10th IFIP TC6/WG 6.1 International Conference on Formal Description Techniques X/Protocol Specification, Testing and Verification
Dimensioner
234 x 156 x 32 mm
Vikt
985 g
Antal komponenter
1
Komponenter
1 Hardback
ISBN
9780412820601
Formal Description Techniques and Protocol Specification, Testing and Verification (inbunden)

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII '97

Inbunden Engelska, 1997-10-01
3169
  • Skickas inom 10-15 vardagar.
  • Gratis frakt inom Sverige över 159 kr för privatpersoner.
Finns även som
Visa alla 2 format & utgåvor
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.
Visa hela texten

Passar bra ihop

  1. Formal Description Techniques and Protocol Specification, Testing and Verification
  2. +
  3. Protocol Test Systems

De som köpt den här boken har ofta också köpt Protocol Test Systems av Tadanori Mizuno, Teruo Higashino, Norio Shiratori (inbunden).

Köp båda 2 för 5388 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Innehållsförteckning

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.