Back to Search Start Over

Defining a Domain-Specific Language for the Verification of IoT-Enabled Cyber-Physical Application

Authors :
Konstantinos Panayiotou
Emmanouil Tsardoulias
Andreas L. Symeonidis
Publication Year :
2023
Publisher :
Elsevier BV, 2023.

Details

Database :
OpenAIRE
Accession number :
edsair.doi...........f41f21ac2105ca1b1f7d39b94223cf8d
Full Text :
https://doi.org/10.2139/ssrn.4432352
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details