default search action

combined dblp search
author search
venue search
publication search

ask others

ICTAC Training School on Software Engineering 2013: Shanghai, China

> Home > Conferences and Workshops > ICTAC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2013s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2013s
Zhiming Liu, Jim Woodcock, Huibiao Zhu:
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. Lecture Notes in Computer Science 8050, Springer 2013, ISBN 978-3-642-39720-2
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/DongFKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/DongFKL13
Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu:
rCOS: Defining Meanings of Component-Based Software Architectures. 1-66
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FahrenbergLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FahrenbergLL13
Uli Fahrenberg, Kim G. Larsen, Axel Legay:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. 67-108
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FosterW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FosterW13
Simon Foster, Jim Woodcock:
Unifying Theories of Programming in Isabelle. 109-155
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/JacksonS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/JacksonS13
Ethan K. Jackson, Wolfram Schulte:
FORMULA 2.0: A Language for Formal Specifications. 156-206
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/ZhanWZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/ZhanWZ13
Naijun Zhan, Shuling Wang, Hengjun Zhao:
Formal Modelling, Analysis and Verification of Hybrid Systems. 207-281

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.