Open AccessAlgorithms of decomposition of complex discrete device formal model
Author(s) -
Igor V. Rudakov
Publication year - 2012
Publication title -
nauka i obrazovanie
Language(s) - English
Resource type - Journals
ISSN - 1994-0408
DOI - 10.7463/0512.0369895
Subject(s) - decomposition , computer science , formal methods , theoretical computer science , algorithm , programming language , chemistry , organic chemistry