Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
AvTeruo Higashino,Norio Shiratori
E-bok
PDF, Engelska, 20132 741 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Inbunden, 1997
2 221 kr
Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Häftad, 2013
2 156 kr
Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Tadanori Mizuno, Teruo Higashino
625 kr
Del 8255
Stabilization, Safety, and Security of Distributed Systems
Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita
Häftad, 2013
561 kr
Stabilization, Safety, and Security of Distributed Systems
Masafumi Yamashita, Maria Potop-Butucaru, Toshimitsu Masuzawa, Yoshiaki Katayama, Teruo Higashino
E-bok
2013714 kr
Hoppa över listan
Du kanske också är intresserad av
Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Inbunden, 1997
2 221 kr
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Atsushi Togashi, Tadanori Mizuno
625 kr
Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Häftad, 2013
2 156 kr
Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Tadanori Mizuno, Teruo Higashino
625 kr
Automated Technology for Verification and Analysis
Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Häftad, 2007
561 kr
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino, Kenji Suzuki
E-bok
2008708 kr