View in EDS HTML Full Text PDF Full Text

Pragmatic verification and validation of industrial executable SysML models.

Saved in:
Bibliographic Details
Title: Pragmatic verification and validation of industrial executable SysML models.
Authors: Horváth, Benedek1,2 (AUTHOR) benedek.horvath@incquerylabs.com, Molnár, Vince3 (AUTHOR), Graics, Bence3 (AUTHOR), Hajdu, Ákos3 (AUTHOR), Ráth, István1 (AUTHOR), Horváth, Ákos1 (AUTHOR), Karban, Robert4 (AUTHOR), Trancho, Gelys5 (AUTHOR), Micskei, Zoltán3 (AUTHOR)
Source: Systems Engineering. Nov2023, Vol. 26 Issue 6, p693-714. 22p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:10981241
DOI:10.1002/sys.21679