RIV/00216224:14330/13:00066203 - MoTraS: A Tool for Modal Transition Systems and Their Extensions (2013)

Údaje o výsledku
Identifikační kódRIV/00216224:14330/13:00066203
Název v původním jazyceMoTraS: A Tool for Modal Transition Systems and Their Extensions
DruhD - Článek ve sborníku
Jazykeng - angličtina
OborIN - Informatika
Rok uplatnění2013
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku2
Údaje z Hodnocení výsledků výzkumných organizací 2014
Výsledek byl hodnocen v Pilíři I
Rozsah vyřazení výsledkuTento výskyt výsledku není vyřazen
Zařazení výsledku v hodnoceníD - Článek ve sborníku
Skupina oboru v hodnocení04 - Technické a informatické vědy
Konkrétní způsob(y) hodnocení výsledkuČlánek ve sborníku evidovaném v databázi Scopus bodovaný podle SJR zdroje typu Book Series nebo Conference Proceedings
Bodové ohodnocení46,181
Faktor korekce50,1 %
Body (upravené podle přílohy č. 8 Metodiky)23,141
Rozdělení výsledku mezi předkladatele
OrganizaceVýzkumná organizace?PodílBodyBody (upravené podle přílohy č. 8 Metodiky)
Masarykova univerzita / Fakulta informatikyano66,7 %30,78715,427
Tvůrci výsledku
Počet tvůrců celkem2
Počet domácích tvůrců1
TvůrceKřetínský Jan (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 3503054)
TvůrceSickert Salomon (státní příslušnost: DE - Spolková republika Německo)
Údaje blíže specifikující výsledek
Popis v původním jazyceWe present a tool for modal transition systems (MTS), disjunctive MTS and further extensions of MTS supporting also non-deterministic systems. We provide the operations required from specification theories as well as some additional support such as deterministic hull, LTL model checking etc. The tool comes with both graphical and command line interface.
Klíčová slovamodal transition systems; composition; specification; interface theory
Rozsah stran487-491
Název sborníkuAutomated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013
Forma vydáníP - Tištěná verze „print“
ISSN0302-9743
Počet stran výsledku5
ISBN9783319024431
Název nakladateleSpringer-Verlag
Místo vydáníHeidelberg Dordrecht London New York
Místo konání akceHeidelberg Dordrecht London New York
Rok konání akce2013
Typ akce podle státní příslušnoti účastníkůWRD - Světová
DOI výsledku10.1007/978-3-319-02444-8_41
Údaje o tomto záznamu o výsledku
PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2014
Systémové označení dodávky datRIV14-MSM-14330___/01:1
SpecifikaceRIV/00216224:14330/13:00066203!RIV14-MSM-14330___
Kontrolní kód[0B7442296249]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno GA ČR v roce 2014Záznam s identifikačním kódem RIV/00216224:14330/13:00066203 v dodávce dat RIV14-GA0-14330___/01:1
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
ProjektGBP202/12/G061 - Centrum excelence - Institut teoretické informatiky (CE-ITI) (2012-2018, GA0/GB)
S - Specifický výzkum na vysokých školách