ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Воскресенье
19 мая
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
287877 Топик полностью
Evgeny_CD, Архитектор (03.12.2011 15:19, просмотров: 202) ответил Evgeny_CD на Event-B is a formal method for system-level modelling and analysis. Непонятная мне штуковина, на которую навел Д.ARMоед, за что ему большой респект. ->
В описании одной из составных частей этой сущности - RODIN -> встретил упоминание про Alexander (Sascha) Romanovsky --> http://homepages.cs.ncl.ac.uk/alexander.romanovsky/home.formal/
http://rodin.cs.ncl.ac.uk/
Ответить