Information and Communication Technologies in Education, Research, and Industrial Applications

11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

  • Vitaliy Yakovyna
  • Heinrich C. Mayr
  • Mykola Nikitchenko
  • Grygoriy Zholtkevych
  • Aleksander Spivakovsky
  • Sotiris Batsakis
Conference proceedings ICTERI 2015

Part of the Communications in Computer and Information Science book series (CCIS, volume 594)

Table of contents

  1. Front Matter
    Pages I-XI
  2. ICT in Education and Industrial Applications

  3. Formal Frameworks

    1. Front Matter
      Pages 71-71
    2. Andrei Alexandru, Gabriel Ciobanu
      Pages 73-90
    3. Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
      Pages 109-123
    4. Elena Zaitseva, Vitaly Levashenko, Jozef Kostolny, Miroslav Kvassay
      Pages 140-155
  4. Back Matter
    Pages 157-157

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.

The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and industrial applications, and formal frameworks. 


Algorithms Artificial intelligence Automata theory Formal methods Fuzzy logic Fuzzy sets ICT in education Information technology Multiple-valued logics Reliability engineering Software design Software engineering Software quality Verification

Editors and affiliations

  • Vitaliy Yakovyna
    • 1
  • Heinrich C. Mayr
    • 2
  • Mykola Nikitchenko
    • 3
  • Grygoriy Zholtkevych
    • 4
  • Aleksander Spivakovsky
    • 5
  • Sotiris Batsakis
    • 6
  1. 1.Lviv Polytechnic National UniversityLvivUkraine
  2. 2.Institute of Applied InformaticsAlpen-Adria-Universität KlagenfurtKlagenfurtAustria
  3. 3.Taras Shevchenko National Univ. KyiKyivUkraine
  4. 4.V.N. Karazin Kharkiv National UniversityKharkivUkraine
  5. 5.Kherson State UniversityKhersonUkraine
  6. 6.University of HuddersfieldHuddersfiledUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-30245-4
  • Online ISBN 978-3-319-30246-1
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site
Industry Sectors
IT & Software