Onderzoeksoutput 1974 2019

Filter
Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)
2007
78 Downloads (Pure)

Looking good, behaving well : behavioural verification and visualisation of formal models of concurrent systems

Westergaard, M., 2007, Aarhus: University of Aarhus. 171 blz.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

Open Access
Bestand
Visualization
Specifications
Data storage equipment
Blueprints
Communication