A. K. Petrenko

From MaRDI portal
Person:927451

Available identifiers

zbMath Open petrenko.alexander-kWikidataQ62036573 ScholiaQ62036573MaRDI QIDQ927451

List of research outcomes





PublicationDate of PublicationType
The use of contract specifications for representing requirements and for functional testing of hardware models2008-06-09Paper
https://portal.mardi4nfdi.de/entity/Q48088232004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30438362004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q30438342004-08-06Paper
Test generation for compilers and other formal text processors2004-03-29Paper
https://portal.mardi4nfdi.de/entity/Q44137022003-07-21Paper
Vienna development method: An informal introduction1997-05-13Paper
Test specification based on trace description1997-05-13Paper
https://portal.mardi4nfdi.de/entity/Q38906441979-01-01Paper

Research outcomes over time

This page was built for person: A. K. Petrenko

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:927451&oldid=6953625"
Powered by MediaWiki