On the Simulation-Based Development of Systems Using Petri Nets
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F11%3APU97829" target="_blank" >RIV/00216305:26230/11:PU97829 - 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
On the Simulation-Based Development of Systems Using Petri Nets
Popis výsledku v původním jazyce
This paper is aimed at Model and Simulation-Based Development (MSBD) of systems, which is understood as a set of techniques and tools intended for the software system development which is based on formal models, model continuity, and simulation techniques. Its goal is to increase efficiency and reliability of development processes including the software system deployment.
Název v anglickém jazyce
On the Simulation-Based Development of Systems Using Petri Nets
Popis výsledku anglicky
This paper is aimed at Model and Simulation-Based Development (MSBD) of systems, which is understood as a set of techniques and tools intended for the software system development which is based on formal models, model continuity, and simulation techniques. Its goal is to increase efficiency and reliability of development processes including the software system deployment.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2011
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 the 13th International Conference on Computer Aided Systems Theory
ISBN
978-84-693-9560-8
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
1-2
Název nakladatele
The Universidad de Las Palmas de Gran Canaria
Místo vydání
Las Palmas de Gran Canaria
Místo konání akce
Las Palmas de Gran Canaria, Canary Islands
Datum konání akce
6. 2. 2011
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—