Вы здесь

Главная

состояние

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

Adding Genericity to Object-Oriented ASMS
Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model
An Approach to Unfolding Asynchronous Communication Protocols
An Imperative Extension of the Object Constraint Language OCL
A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof
Applications and Theory of Petri Nets: Proc./31st International Conference, PETRI NETS 2010, Braga, Portugal, June 2010
A Symbolic State Space Representation
Computation, Physics and Beyond: Revised Selected and Invited Papers/ International Workshop, WTCS 2012 Dedicated to C.S.Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 2011
Concurrent Semantics without the Notions of State or State Transitions
ESTL: A Temporal Logic for Events and States
Extending the Statechart Formalism: Event Scheduling & Disposition
Integration of Formal Datatypes within State Diagrams
On Statecharts with Overlapping
Specification of Coordinated Behavior by SOCCA
Theoretical Computer Science: Essays in Memory of Shimon Even
The ProcessWall: A Process State Server Approach to Process Programming
The Reaction Algebra: A Formal Language for Event Correlation
Unified Semantic Language: Syntax, Semantics, and Pragmatics
Using State Diagrams to Desrcribe Concurrent Behaviour
Алгебраическая модель совокупности типов объектов с неявным состоянием
Вы подготовились к потере данных?
Динамические системы с неявным состоянием
Дискретизация и восстановление марковских процессов с конечным множеством состояний
Идентификация состояний сложных систем с оценкой допустимой погрешности измерений при нечеткой информации
Использование диаграмм состояний и переходов для моделирования гипертекста
Кодирование состояний автомата с учётом особенностей потенциальных эдементов
Метод и алгоритмы принятия решений при управлении сложными объектами на основе экспертных систем
О распространении вероятностей в нечетких байесовских сетях с недетерминированными состояниями
Программирование состояний коллекции
Система распознавания состояний применительно к задаче медицинской диагностики
Экспертные системы - 1990. (Классификация,состояние,проблемы,тенденции)
Элементы анализа программ. Частичные функции на множестве состояний