Публикации
References
2016 |
Articles: |
---|
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: |
Distributed Embedded Control System Design with Verification Support
Automatic Control and Computer Sciences,
45(7)
2011
ISSN: 0146-4116
|
Proceedings: |
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: |
Grid-Technology for Chemical Reactions Calculation
Transactions on Computational Science,
7:154-162
2010
|
2006 |
Proceedings: |
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
|
mailto: webmaster@dcn.ftk.spbstu.ru