Theodoros Tsampouris
1PUBLICATIONS
3CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Nov 13, 2025
Defining a Domain-Specific Language for Behavior Verification of Cyber-Physical Applications.Konstantinos Panayiotou, Emmanouil Tsardoulias, Theodoros Tsampouris
Pageof 1
