Using mCRL2 for the analysis of software product lines

M.H. Beek, ter, E.P. Vink, de

Onderzoeksoutput: Boek/rapportRapportAcademic

343 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Using mCRL2 for the analysis of software product lines'. Samen vormen ze een unieke vingerafdruk.

Computer Science