scientific article; zbMATH DE number 6669911

MaRDI QIDQ2953052zbMATH OpenFDO

Authors S. V. Andreev, A. E. Bondarev, Vladimir Aleksandrovich Galaktionov, S. Yu. Zheltov, V. T. Zhukov, E. B. Ilovayskaya, K. V. Manukovsky, N. D. Novikova, M. V. Ososkov, O. B. Feodoritova, A. V. Bondarenko

Publication date 2 January 2017

Full work available at URL http://mathnet.ru/eng/mm3772

zbMATH Keywords

mathematical aspects of software engineeringspecificationverification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Computer science aspects of computer-aided design (68U07)

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 Q2953052)