Sciweavers

ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
13 years 10 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko