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

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	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 Jg. 69
Hauptverfasser:	Kim, Myungchul, Chin, Byoungmoon, Kang, Sungwon, Lee, Danhyung
Format:	E-Book Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Boston, MA Springer US 2001
Schriftenreihe:	IFIP Advances in Information and Communication Technology
Schlagworte:	Artificial Intelligence Computer Communication Networks Computer engineering Computer Science Electrical Engineering Processor Architectures Software engineering Software Engineering/Programming and Operating Systems
ISBN:	0792374703, 9781475788259, 9780792374701, 147578824X, 9781475788242, 1475788258
ISSN:	1868-4238, 1868-422X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!