Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Amosov, Maxim Stanislavovich
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:65
Abstract pages:173
Full texts:234
References:17

https://www.mathnet.ru/eng/person151912
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-2056-2794

Publications in Math-Net.Ru Citations
2019
1. S. M. Staroletov, M. S. Amosov, K. M. Shulga, “Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques”, Proceedings of ISP RAS, 31:4 (2019),  39–60  mathnet 3

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024