A graphical approach to component-based and extensible model checking platforms

M. Westergaard, L.M. Kristensen

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Vingerafdruk

Duik in de onderzoeksthema's van 'A graphical approach to component-based and extensible model checking platforms'. Samen vormen ze een unieke vingerafdruk.

Computer Science