You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
173-174
Editorial
Guest Editor’s introduction
Mike Hinchey, Tiziana Margaria and Bernhard Steffen
175-185
Regular Paper
An automated testing experiment for layered embedded C code
Boutheina Chetali and Quang-Huy Nguyen
187-202
Model checking C source code for embedded systems
Bastian Schlich and Stefan Kowalewski
203-215
Flexibility in modeling languages and tools: a call to arms
Eric Van Wyk and Mats Per Erik Heimdahl
217-238
System-on-chip design by proof-based refinement
Dominique Cansell, Dominique Méry and Cyril Proch
239-253
Encoding a process algebra using the Event B method Application to the validation of human–computer interactions
Yamine Ait-Ameur, Mickael Baron, Nadjet Kamel and Jean-Marc Mota
255-260
Satisfiability solving for software verification
David Déharbe and Silvio Ranise
261-267
Formalizing interoperability for test case generation purpose
Alexandra Desmoulin and César Viho
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info