Lupremica - Lua Scripting for Supremica
Paper i proceeding, 2023
Discrete-Event Systems
Synthesis
Verification
Scripting
Lua
Författare
Martin Fabian
Chalmers, Elektroteknik, System- och reglerteknik
Robi Malik
University of Waikato
Sahar Mohajerani
Chalmers, Elektroteknik, System- och reglerteknik
IFAC-PapersOnLine
24058971 (ISSN) 24058963 (eISSN)
Vol. 56 2 6099-61049781713872344 (ISBN)
Yokohama, Japan,
Systematisk testning av cyberfysiska system (SyTeC)
Vetenskapsrådet (VR) (2016-06204), 2017-01-01 -- 2022-12-31.
Ämneskategorier
Reglerteknik
Datavetenskap (datalogi)
DOI
10.1016/j.ifacol.2023.10.704