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

Full description

Bibliographic Details

Published 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 Vol. 69
Main Authors:	Kim, Myungchul, Chin, Byoungmoon, Kang, Sungwon, Lee, Danhyung
Format:	eBook Conference Proceeding
Language:	English
Published:	Boston, MA Springer US 2001
Series:	IFIP Advances in Information and Communication Technology
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!