Публикации

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

2016

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

2011

Articles:

Shoshmina, Irina V.
Distributed Embedded Control System Design with Verification Support
Automatic Control and Computer Sciences, 45(7)
2011
ISSN: 0146-4116

Proceedings:

Shoshmina, Irina V.; Belyaev, Alexey B.
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas
In Victor Malyshkin, editor, Volume 6873 of LNCS
Parallel Computing Technologies - 11th International Conference PACT'2011
Kazan
Publisher: Springer,
2011

2010

Articles:

Balint-Kurti, G.G., Bogdanov, A.V., Gevorkyan, A., Gorbachev, Y.E., Hakobyan, T., Nyman, G.; Shoshmina, I.
Grid-Technology for Chemical Reactions Calculation
Transactions on Computational Science, 7:154-162
2010

2006

Proceedings:

Krzhizhanovskaya, V.V., Korkhov, V.V., Tirado-Ramos, A., Groen, D.J., Shoshmina, I.V., Valuev, I.A., Morozov, I.A., Malyshkin, N.V., Gorbachev, Y.E.; Sloot, P.M.A.
Computational Engineering on the Grid: Crafting a Distributed Virtual Reactor
Second IEEE International Conference on e-Science and Grid Computing (e-Science'06)
Amsterdam
December 2006
Export as:
BibTeX, XML