Публикации

Year:  
All :: 1999, ... , 2015, 2016, 2017, 2018
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
References

Articles:

Shoshmina, I.V.
Developing formal temporal requirements to distributed program systems
Системная информатика (System informatics), (8):21-32
2016

Keywords: software requirement specification, requirement patterns, model checking, linear temporal logic

Contributions to proceedings:

Sokolov, Konstantin
A Vector Model for Type-Theoretical Semantics
Proceedings of the First Workshop on Representation Learning for NLP (ACL-2016 Workshop)
August 2016
Kolesov, Yuri, Inikhov, Dmitry, Senichenkov, Yuri; Isakov, Andrey
News from Rand Model Designer for Industry and Education
Proceedings of 8th IFAC Conference on Manufacturing Modelling
Publisher: IFAC-PapersOnLine Open Access,
2016
Senichenkov, Yuri; Isakov, Andrey
Rand Model Designer’s Numerical library
Proceedings of The 9th Eurosim Congress on Modelling and Simulation
Publisher: IFAC-PapersOnLine Open Access,
2016
Kolesov, Yuri; Senichenkov, Yuri
Object-Oriented Modeling with Rand Model Designer
Proceedings of the 9th Eurosim Congress on Modelling and Simulation
Publisher: IFAC-PapersOnLine Open Access,
2016
Export as:
BibTeX, XML