Вы здесь

Главная

Моделирование и анализ информационных систем

Связанные издания:

Articulated Motion and Deformable Objects: Proc./10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 2018
Computers Helping People with Special Needs/ Part I: Proc./16 International Conference, ICCHP 2018, Linz, Austria, July 2018
Computing and Combinatorics: Proc./24th International Conference, COCOON 2018, Qing Dao, hina, July 2018
Edge Computing - EDGE 2018: Proc./2nd International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle,WA,USA, June 2018
Image and Signal Processing: Proc./8th International Conference, ICISP 2018, Cherbourg, France, July 2018
Implementation and Application of Automata: Proc./23rd International Conference, CIAA 2018, Charlottetown,PE,Canada, July 2018
Logic, Language, Information, and Computation: Proc./25th International Workshop, WoLLIC 2018, Bogota, Colambia, July 2018
Machine Learning and Data Mining in Pattern Recognition, Part I: Proc./14th International Conference, LMDM 2018, New York,NY,USA, July 2018
Pattern Recognition Applications and Methods: Revised Selected Papers/6th International Conference, ICPRAM 2017, Porto, Portugal, February 2017
PolarDB - система создания специализированных NoSQL баз данных и СУБД
Service-Oriented Computing - ICSOC 2017 Workshops: Revised Selected Papers/ASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 2017
Social, Cultural, and Behavioral Modeling: Proc./11th International Conference, SBP-BRiMS 2018, Washington,DC,USA, July 2018
Theory and Applications of Satisfiability Testing - SAT 2018: Proc./21st International Conference, SAT 2018 Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики
Анализ и верификация MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри
Атрибутные аннотации и их применение в дедуктивной верификации С-программ
Верификация алгоритмов мультиагентного анализа данных с помо ью системы проверки моделей SPIN
Верификация и синтез программ сложения на базе правил корректности операторов
Верификация С-программ в мультиязыковой системе СПЕКТР
Верификация С-программ на основе смешанной аксиоматической семантики
Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри
Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ
Верификция Си-программ: объяснение условий корректности и стандартная библиотека
Дедуктивная верификация протокола скользя его окна
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
Мультиагентная задача о роботах в пространстве: сложностной, информационный и криптографический аспекты
Об ие знания в хорошо структурированных системах с абсолютной памятью
Оптимизационные процедуры в аффинной проверке моделей
Пример верификации в проекте F@BOOL@, основанном на булевских решателях
Разработка самоприменимой системы верификации. Теория и практика
Типовые примеры использования языка Atoment
Типовые примеры использования языка Atoment