| Petrenko Alexander Konstantinovich
|
| Professor
|
| Doctor of physico-mathematical sciences (2003)
|
Speciality:
05.13.11 (Mathematical and programme software for computers, computer systems, and networks)
Birth date:
11.06.1951
Website: https://www.ispras.ru/groups/se
Keywords: Formal methods,
software engineering,
formal models,
verificartion,
testing,
software security< real0time systems,
avionics.
Subject: Formal methods, software engineering, formal models, verificartion, testing, software security< real0time systems, avionics, operating systems
Publications in Math-Net.Ru
© , 2024
