Název: Slicing behavior specification of components
Překlad názvu: Slicing specifikace chování komponent
Autoři: Šerý, O. ; Plášil, František
Typ dokumentu: Výzkumné zprávy
Rok: 2007
Jazyk: eng
Edice: Technical Report, svazek: 2007/1
Abstrakt: [eng] [cze]

Klíčová slova: behavior protocols; formal verification; slicing
Číslo projektu: CEZ:AV0Z10300504 (CEP), GA201/06/0770 (CEP)
Poskytovatel projektu: GA Č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/0151535

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


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