Sungwon Kang – författare
Visar alla böcker från författaren Sungwon Kang. Handla med fri frakt och snabb leverans.
8 produkter
Formal Techniques for Networked and Distributed Systems
FORTE 2001
Av Danhyung Lee, Sungwon Kang m. fl.
E-bok, 2006
2925 kr
Lägg i varukorg
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques …
Testing of Communicating Systems
IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea
Av Keesoo Hong, Sungwon Kang m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
The aim of this book is to bring together the research of academics and practitioners in the field of communication systems testing. It covers four major topic areas; types of testing including conformance testing, inoperability testing, performance and QoS testing; phases of testing including test …
Testing of Communicating Systems
IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea
Av Myungchul Kim, Sungwon Kang m. fl.
Inbunden, 1997
2185 kr
Lägg i varukorg
The aim of this book is to bring together the research of academics and practitioners in the field of communication systems testing. It covers four major topic areas; types of testing including conformance testing, inoperability testing, performance and QoS testing; phases of testing including test …
Formal Techniques for Networked and Distributed Systems
FORTE 2001
Av Myungchul Kim, Byoungmoon Chin m. fl.
Inbunden, 2001
2250 kr
Lägg i varukorg
This work presents the latest world-wide results in theory and practice of formal techniques for networked and distributed systems. Its theme is addressed by specialized papers in the following areas: formal methods in software development, process algebra, timed automata, theories and applications …
Testing of Communicating Systems
IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea
Av Myungchul Kim, Sungwon Kang m. fl.
Häftad, 2013
2185 kr
Lägg i varukorg
The aim of this book is to bring together the research of academics and practitioners in the field of communication systems testing. It covers four major topic areas; types of testing including conformance testing, inoperability testing, performance and QoS testing; phases of testing including test …
Formal Techniques for Networked and Distributed Systems
FORTE 2001
Av Myungchul Kim, Byoungmoon Chin m. fl.
Häftad, 2013
2250 kr
Lägg i varukorg
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques …
