Synthesis of open reactive systems from scenario-based specifications

Yves Bontemps, Pierre Yves Schobbens, Christof Löding

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

Empreinte digitale

Examiner les sujets de recherche de « Synthesis of open reactive systems from scenario-based specifications ». Ensemble, ils forment une empreinte digitale unique.

Computer Science