Bodean Diana
Brevete  | |||
| Dinamica numărului de publicaţii pe ani |  |  | |
| Dinamica articolelor pe ani |  | ||
| Distribuirea numărului de pagini publicate pe categorii de reviste și ani | | ||
| Distribuirea articolelor pe domenii şi ani | |  | |
| Colaborarea autorului |  |  | |
| Dinamica descărcărilor pe ani | | ||
Publicaţii la conferinţe din RM - 1.
- 5. Publicaţii la manifestări din RM
- 5.3.Publicații la alte manifestări din RM - 1
Constrained-Random Verification for Synthesis: Tools and Results  |
| Bodean Diana , Bodean Ghenadie , Ghincul Olga |
| Technical University of Moldova |
| Microelectronics and Computer ScienceThe 6th International Conference |
| Ediţia 6. 2009. Bălți, Republica Moldova. ISBN 978-9975-45-045-4. |
| Disponibil online 13 July, 2023. Descarcări-0. Vizualizări-130 |
