Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Babski, R"'
Publikováno v:
Model Based Space Systems and Software Engineering (MBSE2021)
The goal of the presented activity is to integrate an existing model checking engine – SPIN1 – with the TASTE2 MBSE environment. For this purpose, the modelling languages used in TASTE – ASN.1, AADL and SDL need to be translated into PROMELA, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::cbc013aec56f1ac36d143e7d0523ff16
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal de genetique humaine [J Genet Hum] 1980 Sep; Vol. 28 (3), pp. 305-6.
