Видання

International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))


ID: 136841
Кількість показів: 136
дата змінення: 09.11.2017 17:31:17
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Видано:  в Україні
Місце знаходження:  Kyiv, Ukraine


Публікації у виданні





Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
An Approach To Formalization of an Extension of Floyd-Hoare Logic


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
2017
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
c.504-523
2
Праці конференції
Adaptation of Legacy Fortran Applications to Cloud Computing


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування


Жереб Костянтин Анатолійович
2016
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
c.119-126
3
Наукова стаття
Adjusting Business Processes by the Means of an Autoregressive Model Using BPMN 2.0


Економічний факультет
Міжнародної економіки та маркетингу
2016
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
c.518-533
4
Праці конференції
Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2016
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
т.1614 c.119-128
5
Праці конференції
Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2012
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
c.290-295

Повернення до списку

Вгору