Behavior Protocols
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F00%3A00001572" target="_blank" >RIV/00216208:11320/00:00001572 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Behavior Protocols
Original language description
The paper describes the behavior protocols, a formal notation for describing behavior of software components, and its application for component-based software architectures.
Czech name
—
Czech description
—
Classification
Type
V<sub>x</sub> - Unclassified - Research report containing classified information
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2000
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Number of pages
38
Place of publication
Praha
Publisher/client name
KSI MFF
Version
—