>
Main
>
Research
>
Publications
RUS
ENG
Publications
Year:
All
::
1996
, ... ,
2007
,
2009
,
2010
, ... ,
2014
All
2014
2012
2011
2010
2009
2007
2006
2005
1998
1996
Author:
All
::
A
,
B
,
C
,
F
,
G
,
H
,
I
,
K
,
L
,
M
,
N
,
P
,
R
,
S
,
T
,
U
,
V
,
W
,
Z
,
А
,
Б
,
В
,
Г
,
Д
,
Ж
,
З
,
И
,
К
,
Л
,
М
,
Н
,
П
,
Р
,
С
,
Т
,
У
,
Ф
,
Х
,
Ц
,
Ч
,
Ш
,
Э
All
::
Карпов
,
Киптилый
,
Козлов
,
Кознов
, ... ,
Кудряшов
К*
Карпов
Киптилый
Козлов
Кознов
Колесов
Колосков
Кондратьев
Костров
Кошлич
Кудряшов
References
Articles:
Карпов, Ю.Г.
Темпоральные логики для спецификации свойств программных и аппаратных систем
Компьютерные инструменты в образовании,
№2
:45-56
2009
Export as:
BibTeX
,
XML
About the Department
Абитуриенту
Наши достижения
Projects
Education
Research
•
Research directions
•
Проекты
•
Семинары
•
Аспирантура
•
Publications
•
НИР студентов
Conferences
Сотрудничество
Innovation in Education
Книги
Интранет
mailto: webmaster@dcn.ftk.spbstu.ru