Fiche d'une revue

IJMIC, International Journal of Identification Modelling and Control , special issue on Formal Modeling and Verification of Critical Systems65067