an:06419577
Zbl 1310.68021
Xue, Jinyun (ed.); Stolz, Volker (ed.)
Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013
EN
Electronic Notes in Theoretical Computer Science 309. Amsterdam: Elsevier. 107~p., electronic only (2014).
00410119
2014
b
68-06 68N30 00B25
The articles of this volume will be reviewed individually. For the first workshop see [Zbl 1276.68028].
Indexed articles:
\textit{Liu, Jie; Liu, Jing}, A formal framework for Hybrid Event B, 3-12, electronic only [Zbl 1351.68166]
\textit{Yu, Bin; Duan, Zhenhua; Tian, Cong}, Bounded model checking of traffic light control system, 63-74, electronic only [Zbl 1351.68169]
\textit{Zheng, Yu-Jun; Zhang, Bei; Zhang, Min-Xia}, An algebraic approach to population-based evolutionary algorithm generation, 95-107, electronic only [Zbl 1351.68258]
Zbl 1276.68028