scientific article; zbMATH DE number 1951208

MaRDI QIDQ4413702zbMATH OpenFDO

Authors Alexey Kalinov, A. K. Petrenko, Vladimir Shishkov, A. S. Kossatchev, M. A. Posypkin

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890415.htm

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited in

(4)

• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• scientific article; zbMATH DE number 1951203 (Why is no real title available?)
• scientific article; zbMATH DE number 2086804 (Why is no real title available?)
• Using abstract models for the generation of test data with a complex structure

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413702)