Letichevsky, A.A., Glushkov Institute of Cybernetics NAS of Ukraine
-
No 4 (2012) - Formal methods of software development
Survey on modern tools and methods of formal models verification
Abstract PDF (Русский)
ISSN 1727-4907 (Print)
EDITORIAL TEAM
» Editor-in-Chief:
Dr. Sci. (Engin.), Senior Research Scientist Igor Sinitsyn (ISS NASU, Ukraine)
» Senior Editor:
Shevchenko V.L. (ISS NASU, Ukraine)
» Editorial Board Members:
Dr. Sci. (Phys. & Math.), Academician of NASU Philip Andon (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.), Senior Research Scientist Oleksiy Ignatenko (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.) Anatoly Anisimov (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Senior Research Scientist Oleksandr Balabanov (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Mykola Glybovets (National University of Kyiv-Mohyla Academy, Ukraine)
Dr. Sci. (Engin.), Assoc. Prof. Andrii Glybovets (National University of Kyiv-Mohyla Academy, Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Anatoliy Doroshenko (NTUU "KPI", Ukraine)
Dr. Sci. (Engin.), Prof. Nataliia Kussul (Space Research Institute NASU, Ukraine)
PhD in Computer Science, Assoc. Prof. Artur Korniłowlcz (Institute of Informatics, University of Bialystok, Poland)
Dr. Sci. (Engin.), Assoc. Prof. Nadezhda Nedashkovskaya (Institute for Applied System Analysis of NTUU "KPI", Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Mykola Nikitchenko (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Serhii Pashko (ISS NASU, Ukraine)
Dr. Sci. (Engin.), Prof. Andrii Peleshchyshyn (National University "Lviv Polytechnic", Ukraine)
Dr. Sci. (Engin.), Prof. Serhii Pogorilyy (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Engin.), Prof. Volodymyr Pasichnyk (National University "Lviv Polytechnic", Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Alexander Provotar (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Academician of NASU, Prof. Ivan Sergienko (Glushkov Institute of Cybernetics NASU, Ukraine)
Dr. Sci. (Engin.), Prof. Nikolay Sydorov (Interregional Academy of Personnel Management, Ukraine)
Dr. Sci. (Engin.), Prof. Sergii Telenyk (NTUU "KPI", Ukraine)
PhD in Computer Science, Assoc. Prof. Ladislav Hluchy (Institute of Informatics SAS, Slovakia)