Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP’99

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Automated black-box testing with abstract VDM oracles
Zeitraum28 Sept. 1999
EreignistitelComputer Safety, Reliability and Security: 18th International Conference, SAFECOMP’99
VeranstaltungstypKonferenz