Login / Signup
ICTAC Training School on Software Engineering
2013
2013
2013
Keyphrases
Publications
2013
Ethan K. Jackson
,
Wolfram Schulte
FORMULA 2.0: A Language for Formal Specifications.
ICTAC Training School on Software Engineering
(2013)
Simon Foster
,
Jim Woodcock
Unifying Theories of Programming in Isabelle.
ICTAC Training School on Software Engineering
(2013)
Ruzhen Dong
,
Johannes Faber
,
Wei Ke
,
Zhiming Liu
rCOS: Defining Meanings of Component-Based Software Architectures.
ICTAC Training School on Software Engineering
(2013)
Naijun Zhan
,
Shuling Wang
,
Hengjun Zhao
Formal Modelling, Analysis and Verification of Hybrid Systems.
ICTAC Training School on Software Engineering
(2013)
Uli Fahrenberg
,
Kim G. Larsen
,
Axel Legay
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.
ICTAC Training School on Software Engineering
(2013)
volume 8050, 2013
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ICTAC Training School on Software Engineering
8050 (2013)