Počet záznamů: 1
Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates
- 1.0404746 - UIVT-O 20020169 US eng V - Výzkumná zpráva
Adámek, Jiří - Plášil, František
Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates.
Durham: Deptartment of Computer Science University of New Hampshire, 2002. 15 s. Technical Report Series, TR 02/10.
Výzkumný záměr: AV0Z1030915
Klíčová slova: software component * behavior description * software contract
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124982
Počet záznamů: 1