Sungwon Kang

Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea

2002 · ENGLISH · PDF

View details →

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea

1997 · ENGLISH · PDF

View details →

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001

2001 · ENGLISH · PDF

View details →

Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001

2001 · ENGLISH · PDF

View details →

Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim

2001 · ENGLISH · PDF

View details →