Creative Commons Attribution-Share Alike 4.0
Hat mitgewirkt an:
-
Methods for modelling software systems (MMOSS) : 06351 abstracts collection ; Dagstuhl seminar
-
Methods for modelling software systems : organisers' summary ; Dagstuhl seminar 06351
-
Perspectives of model-based testing : 04371 abstracts collection
-
Tools and algorithms for the construction and analysis of systems : third international workshop ; proceedings