Abstract
A technology for design and verification of microprocessor controllers
(for ICAR-tool). Thesis PhD degree in Computer Science (System Analysis) at the Institute for Control Problems (IAT, Academy of Science), Moscow, Russia, 1989.(Russian).
(for ICAR-tool). Thesis PhD degree in Computer Science (System Analysis) at the Institute for Control Problems (IAT, Academy of Science), Moscow, Russia, 1989.(Russian).
Translated title of the contribution | A technology for design and verification of microprocessor controllers : For ICAR-tool |
---|---|
Original language | Russian |
Qualification | PhD |
Awarding Institution |
|
Supervisors/Advisors |
|
Thesis sponsors | |
Award date | 12 Dec 1989 |
Publication status | Published - 12 Dec 1989 |
Externally published | Yes |