Editorial W. Rance CleavelandTiziana MargariaBernhard Steffen EditorialNotes 27 February 2014 Pages: 1 - 5
The meaning of “formal”: from weak to strong formal methods Pierre Wolper The opinion corner 27 February 2014 Pages: 6 - 8
The Electronic Tool Integration platform: concepts and design Bernhard SteffenTiziana MargariaVolker Braun Special section on the Electronic Tool Integration platform 27 February 2014 Pages: 9 - 30
Integrating tools in the ETI platform Volker BraunTiziana MargariaCarsten Weise Special section on the Electronic Tool Integration platform 27 February 2014 Pages: 31 - 48
Interacting with ETI: a user session Tiziana MargariaVolker BraunJürgen Kreileder Special section on the Electronic Tool Integration platform 27 February 2014 Pages: 49 - 63
Continuous modeling of real-time and hybrid systems: from concepts to tools Kim G. LarsenB. SteffenC. Weise Special section on timed and hybrid systems 27 February 2014 Pages: 64 - 85
Real-time system = discrete system + clock variables Rajeev AlurThomas A. Special section on timed and hybrid systems 27 February 2014 Pages: 86 - 109
HYTECH: a model checker for hybrid systems Thomas A. HenzingerPei-Hsin HoHoward Wong-Toi Special section on timed and hybrid systems 27 February 2014 Pages: 110 - 122
KRONOS: a verification tool for real-time systems Sergio Yovine Special section on timed and hybrid systems 27 February 2014 Pages: 123 - 133
Uppaal in a nutshell Kim G. LarsenPaul PetterssonWang Yi Special section on timed and hybrid systems 27 February 2014 Pages: 134 - 152
OMT and SDL based techniques and tools for design, simulation and test production of distributed systems Philippe Leblanc Regular contributions 27 February 2014 Pages: 153 - 165
Protocol verification with the ALDÉBARAN toolset Marius BozgaJean-Claude FernandezLaurent Mounier Regular contributions 27 February 2014 Pages: 166 - 183