Název: Extending Behavior Protocols With Data and Multisynchronization
Překlad názvu: Rozšíření Behavior Protocols o data a multisynchronizaci
Autoři: Kofroň, Jan
Typ dokumentu: Výzkumné zprávy
Rok: 2006
Jazyk: eng
Edice: Technical Report, svazek: 2006/10
Abstrakt: [eng] [cze]

Klíčová slova: behavior protocols; formal verification; software components
Číslo projektu: CEZ:AV0Z10300504 (CEP), GD201/05/H014 (CEP), 1ET400300504 (CEP)
Poskytovatel projektu: GA ČR, GA AV ČR

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0148101

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-37381


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Zprávy > Výzkumné zprávy
 Záznam vytvořen dne 2011-07-01, naposledy upraven 2024-01-26.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet