Selected issues of modeling, verification and testing of digital systems (title)

types of item