Behavioural modelling and verification of real-time software product lines

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

131 Téléchargements (Pure)

Empreinte digitale

Examiner les sujets de recherche de « Behavioural modelling and verification of real-time software product lines ». Ensemble, ils forment une empreinte digitale unique.

Ingénierie et Science des Matériaux