Vérification des propriétés temporelles des programmes parallèles

by Mateescu, Radu
Published 1998

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks

by Page Michel, Mateescu Radu, Besson Bruno, Dumas Estelle, Monteiro Pedro T, Freitas Ana T, de Jong Hidde
Published 2009-12-01

Endoscopic management of recurrent tracheoesophageal fistula induced by chronic use of nonsteroidal anti-inflammatory drugs: A case report and review of the literature

by Voiosu Theodor Alexandru, Gheorghe Andrada Viorela, Bobeica Dan Adrian, Voiosu Andrei Mihai, Mateescu Radu Bogdan
Published 2018-09-01

The diagnostic and prognostic value of serum endocan in patients with cirrhotic cardiomyopathy

by Voiosu Andrei Mihai, Bălănescu Paul, Daha Ioana, Smarandache Bianca, Rădoi Aurelia, Mateescu Radu Bogdan, Băicuş Cristian Răsvan, Voiosu Theodor Alexandru
Published 2018-09-01