Sciweavers

Share
DSN
2009
IEEE
9 years 5 months ago
Report generation for simulation traces with Traviando
Any model-based evaluation of the dependability of a system requires validation and veriļ¬cation to justify that its results are meaningful. Modern modeling frameworks enable us ...
Peter Kemper
books