Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems.
Horst F. Wedde, Jon A. Lind, Andreas Eiss
Browse the full ECRTS paper archive.
Horst F. Wedde, Jon A. Lind, Andreas Eiss
Browse the full ECRTS paper archive.