Vol-1759⫷ Vol-1760 ⫸Vol-1761
urn:nbn:de:0074-1760-0


Vol-1760/keynote⫷Vol-1760/invitedtalk⫸Vol-1760/paper1
Nerijus Jankevicius

Resource Analysis and Automated Verification for the Thirty Meter Telescope using Executable SysML Models