OVT 17: 17TH OVERTURE WORKSHOP

A
Araki, Keijiro	ViennaDoc: An Animatable and Testable Specification Documentation Tool
B
Battle, Nick	Towards Static Check of FMUs in VDM-SL
C
Chang, Han-Myung	ViennaDoc: An Animatable and Testable Specification Documentation Tool
G
Gamble, Carl	Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation
Golightly, David	Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation
Gomes, Cláudio	Towards Static Check of FMUs in VDM-SL
K
Kulik, Tomas	Migrating Overture to a different IDE
L
Larsen, Peter Gorm	Workshop Opening ViennaDoc: An Animatable and Testable Specification Documentation Tool Moving the INTO-CPS Application to the Cloud Towards Graphical Configuration in the INTO-CPS Application Towards Static Check of FMUs in VDM-SL Workshop Wrap-up
Legaard, Christian	Towards Graphical Configuration in the INTO-CPS Application
M
Macedo, Hugo Daniel	Moving the INTO-CPS Application to the Cloud Towards Static Check of FMUs in VDM-SL
N
Nakakoji, Kumiyo	ViennaDoc: An Animatable and Testable Specification Documentation Tool
O
Oda, Tomohiro	ViennaDoc: An Animatable and Testable Specification Documentation Tool
P
Paiva, Ana	Teaching VDM
Palacín, Roberto	Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation
Pierce, Ken	Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation Building System Identified FMUs using VDM-RT
R
Rasmussen, Mikkel Bayard	Moving the INTO-CPS Application to the Cloud
S
Sako, Hiroshi	ViennaDoc: An Animatable and Testable Specification Documentation Tool
T
Thule, Casper	Moving the INTO-CPS Application to the Cloud Towards Graphical Configuration in the INTO-CPS Application Towards Static Check of FMUs in VDM-SL
W
W. V. Tran-Jørgensen, Peter	Migrating Overture to a different IDE
Y
Yamamoto, Yasuhiro	ViennaDoc: An Animatable and Testable Specification Documentation Tool

Disclaimer | Powered by EasyChair Smart Program