You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
Special Section on FMICS 05
355-357
Editorial
Preface
Tiziana Margaria and Mieke Massink
359-374
Regular Paper
Checking the reliability of socket based communication software
Pedro de la Cámara, María del Mar Gallardo, Pedro Merino and David Sanán
375-392
Solving scheduling problems by untimed model checking The clinical chemical analyser case study
Anton J. Wijs, Jaco C. van de Pol and Elena M. Bortnik
393-407
LearnLib: a framework for extrapolating behavioral models
Harald Raffelt, Bernhard Steffen, Therese Berg and Tiziana Margaria
409-418
Flush: an example of development by refinements in SCADE/Lustre
Jan Mikáč and Paul Caspi
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