SECRIERU, Nicolae; GUŢULEAC, Emilian; NICU, Roman
(Technical University of Moldova, 2009)
În lucrare sunt prezentate aspecte de elaborare şi verificare funcţională prin reţele Petri temporizate a sistemului multiprocesor de bord al unui microsatelit.