Innovations in Systems and Software Engineering, Volume 11

Volume 11, Number 1, March 2015

Volume 11, Number 2, June 2015

Special Issue: Formal Methods for Interactive Systems

Volume 11, Number 3, September 2015

Special Issue: International Conference on Advanced Computing, Networking and Informatics

Volume 11, Number 4, December 2015

maintained by Schloss Dagstuhl LZI, founded at University of Trier