Model-checking the preservation of temporal properties upon feature integration

Dimitar P. Guelev, Mark D. Ryan, Pierre Yves Schobbens

Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs

Empreinte digitale

Examiner les sujets de recherche de « Model-checking the preservation of temporal properties upon feature integration ». Ensemble, ils forment une empreinte digitale unique.

Computer Science