Open AccessAlgorithms of decomposition of complex discrete device formal model
Author(s) -
Igor V. Rudakov
Publication year - 2012
Publication title -
science and education of the bauman mstu
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom