Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013)сборник
Статьи, опубликованные в сборнике
-
-
-
2013
DYANA: an integrated development environment for simulation and verification of real-time avionics systems
-
Antonenko V.A.,
Chemeritsky E.V.,
Glonina A.B.,
Konnov I.V.,
Pashkov V.N.,
Podymov V.V.,
Savenkov K.O.,
Smeliansky R.L.,
Vdovin P.M.,
Volkanov D.Yu,
Zakharov V.A.,
Zorin D.A.
-
в сборнике Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013), место издания Munich. Germany