Zobrazeno 1 - 10
of 13
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
Autor:
Bombardelli, Alberto, Bonizzi, Alberto, Bozzano, Marco, Cavada, Roberto, Cimatti, Alessandro, Griggio, Alberto, Nicolodi, Edoardo, Tonetta, Stefano, Zampedri, Gianni
Publikováno v:
CEAS Space Journal; Mar2024, Vol. 16 Issue 2, p169-181, 13p
Publikováno v:
Journal de genetique humaine [J Genet Hum] 1980 Sep; Vol. 28 (3), pp. 305-6.
Publikováno v:
Polymer Science -- Series A; Apr2023, Vol. 65 Issue 2, p157-168, 12p
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:
Archives of Civil & Mechanical Engineering (Elsevier Science); Mar2019, Vol. 19 Issue 2, p557-568, 12p
Publikováno v:
Advanced Engineering Materials; May2015, Vol. 17 Issue 5, p563-597, 35p
Reduce workload of security officers using NASA-LTX, SOFI, Heart Rate and Energy Expenditure Method.
Autor:
E N S Yuliani, E B M Tambunan
Publikováno v:
IOP Conference Series: Materials Science & Engineering; Nov2018, Vol. 453 Issue 1, p1-1, 1p
Publikováno v:
Journal of Physics: Conference Series; 2010, Vol. 247 Issue 1, p1-1, 1p
Autor:
Choi, Seung-Bok, Kim, Jaewhan
In the last two decades, a great effort has been directed towards the development of new smart materials actuators and their corresponding application devices and systems. Currently, some smart materials actuators are commercially applied for several