Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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