Mehdi Hariati

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Component Based Development

Top Venues

Informatica (Slovenia)

Publications

Mehdi Hariati
Formal Verification Issues For Component-Based Development. Informatica (Slovenia) 44 (4) (2020)
Mehdi Hariati, Djamel Meslati
Les Composants Logiciels et La Séparation Avancée des Préoccupations : Vers une nouvelle Approche de Combinaison. ARIMA J. 11 (2009)