Název: Software Component Verification: On Translating Behavior Protocols to Promela
Překlad názvu: Ověřování softwarových komponent: O překladu Behavior Protocols do Promely
Autoři: Kofroň, Jan
Typ dokumentu: Výzkumné zprávy
Rok: 2006
Jazyk: eng
Edice: Technical Report, svazek: 2006/11
Abstrakt: [eng] [cze]

Klíčová slova: behavior protocols; formal verification; PROMELA; 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/0148100

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


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