zbMATH — the first resource for mathematics

Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. (English) Zbl 1310.68021
Electronic Notes in Theoretical Computer Science 309. Amsterdam: Elsevier. 107 p., electronic only (2014).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the first workshop see [Zbl 1276.68028].
Indexed articles:
Liu, Jie; Liu, Jing, A formal framework for Hybrid Event B, 3-12, electronic only [Zbl 1351.68166]
Yu, Bin; Duan, Zhenhua; Tian, Cong, Bounded model checking of traffic light control system, 63-74, electronic only [Zbl 1351.68169]
Zheng, Yu-Jun; Zhang, Bei; Zhang, Min-Xia, An algebraic approach to population-based evolutionary algorithm generation, 95-107, electronic only [Zbl 1351.68258]
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: Link