Formalismus pro systémy s rolemi
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU55740" target="_blank" >RIV/00216305:26230/05:PU55740 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formalism for the Systems with Roles
Popis výsledku v původním jazyce
The article describes the vision of the systems with roles. It defines the simple formalism of them based on the lattice theory and formulate the message-dispatch problem within the systems with roles.
Název v anglickém jazyce
Formalism for the Systems with Roles
Popis výsledku anglicky
The article describes the vision of the systems with roles. It defines the simple formalism of them based on the lattice theory and formulate the message-dispatch problem within the systems with roles.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2005
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of 8th International Conference ISIM'05 Information
ISBN
80-86840-09-3
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
227-234
Název nakladatele
NEUVEDEN
Místo vydání
Ostrava
Místo konání akce
Hradec nad Moravicí
Datum konání akce
19. 4. 2005
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—