Вы здесь

Главная

формальная модель

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

Advances in Multimedia Modeling: Proc./16th International Conference, MMM 2010, Cjngqing, China, January 2010
A Logical Basis for Component-Oriented Software and Systems Engineering
Benchmarking Peer-To-Peer Systems: Understandig Quality of Service in Large-Scale Distribured Systems
Building Bridges: HCI, Visualization, and Non-formal Modeling: Revised Selected Papers/ IFIP WG 13.7 Workshops: 7th HCIV@ECCE 2011, Rostock, Germany, August 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 2011
Formal Modeling and Analysis of Timed Systems: Proc./14th International Conference, FORMATS 2016, Quebec,QC, Canada, August 2016
Formal Modeling and Analysis of Timed Systems: Proc./5th International Conference, FORMATS 2007. Salzburg, Austria, October 2007
Formal Modeling and Analysis of Timed Systems: Proc./Third International Conference, FORMATS 2005. Uppsala, Sweden, September 2005
Formal Techniques for Distributed Objects, Components, and Systems: Proc./35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the International Federated Conference, DisCoTec 2015, Grenoble, France, June 2015
Fundamentals of Software Engineering: Revised Selected Papers/8th International Conference, FSEN 2019, Tehran, Iran, May 2019
Graph Transformations: Proc./5th International Conference, ICGT 2010, Enschede, The Netherland, September/October 2010
Integrated Formal Methods: Proc./11th International Conference, IFM 2014, Bertinoro, Italy, September 2014
Interactive Storytelling: Proc./Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh,UK, November 2010
Language, Logic, and Computation: Revised Selected Papers/12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 2017
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2007. New York, NY, USA, June 2007
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Principles of Distributed Systems: Proc./13th International Conference, OPODIS 2009, Nimes, France, December 2009
Programming Languages and Systems: Proc./27th European Symposium, ESOP 2018 Held as Part of ETAPS 2018, Thessaloniki, Greece, April 2018
Provable and Practical Security: Proc./14th International Conference, ProvSec 2020, Singapore, November 2020
SDL 2009: Design for Motes and Mobiles: Proc./14th International SDL Forum, Bochum, Germany, September 2009
Service-Oriented Computing - ICSOC 2014 Workshops: Revised Selected Papers/WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 2014
Service-Oriented Computing - ICSOC 2015 Workshops: Revised Selected Papers/WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 2015
Software Engineering for Resilient Systems: Proc./5th International Workshop, SERENE 2013, Kiev, Ukraine, October 2013
Theory and Applications of Formal Argumentation: Revised Selected Papers/2nd International Wirkshop, TAFA 2013, Beijing, China, August 2013
Theory and Practice of Natural Computing: Proc./4th International Conference, TPNC 2015, Mieres, Spain, December 2015
Theory and Practice of Natural Computing: Proc./5th International Conference, TPNC 2016, Sendai, Japan, December 2016
Transactions on Computational Collective Intelligence XVII
Transactions on Petri Nets and Other Models of Concurrency III
Transactions on Petri Nets and Other Models of Concurrency IV
Trusted Computing: Proc./Second International Conference, Trust 2009, Oxford, UK, April 2009
Verification and Evaluation of Computer and Communication Systems: Proc./12th International Conference, VECoS 2018, Grenoble, France, September 2018
Модель динамического параллельного исполнения программ
Построение формальной модели Т-системы и исследование ее корректности
Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов
Структурное описание конструкций, образованных количественными прилагательными
Структурное описание наречных групп
Теория конформности для функционального тестирования программных систем на основе формальных моделей
Теория соответствия для систем с блокировками и разрушениями
Формализация тестового эксперимента-II
Формальная модель диаграммы классов языка UML
Формальная модель диаграммы классов языка UML
Формальная модель основных понятий языка C#
Формальная модель основных понятий языка C#
Формальные модели и верификация свойств программ с использованием промежуточного представления
Формальные модели коммуникационных процессов в организациях на основе мультиагентного подхода
Формальные модели коммуникационных процессов в организациях на основе мультиагентного подхода
Формальные модели параллельных вычислений
Формальные модели параллельных вычислений: Сборник научных трудов
Формальные модели параллельных программ и вычислений. Параллельные операторные схемы. (Учебное пособие)