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á bibliografie

Vydáno 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í autoři:	Kim, Myungchul, Chin, Byoungmoon, Kang, Sungwon, Lee, Danhyung
Médium:	E-kniha Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Boston, MA Springer US 2001
Edice:	IFIP Advances in Information and Communication Technology
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!