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

Celý popis

Podrobná bibliografia

Vydané v:	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 Ročník 69
Hlavní autori:	Kim, Myungchul, Chin, Byoungmoon, Kang, Sungwon, Lee, Danhyung
Médium:	E-kniha Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Boston, MA Springer US 2001
Edícia:	IFIP Advances in Information and Communication Technology
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!