Keywords: مدل سازی رسمی; Image schemas; Cognitive primitives; Concept formation; Formal modelling; Cognitive systems;
مقالات ISI مدل سازی رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: مدل سازی رسمی; Formal modelling; Production logistics; Conceptual graphs; Risk management; Aeronautics;
Keywords: مدل سازی رسمی; Privacy protection; Access control; Purpose of data access; Formal modelling; Verification;
Keywords: مدل سازی رسمی; AES; Fragmentation based encryption; Mobile code; Mobile agent; Self protected mobile agent; Formal modelling
Keywords: مدل سازی رسمی; Formal modelling; TLR3; Dengue; Type 1 interferons; SOCS-1; René Thomas
Formal development of multi-agent systems using MAZE
Keywords: مدل سازی رسمی; Formal modelling; Object-Z; Refinement; Multi-agent systems;
Reasoned modelling critics: Turning failed proofs into modelling guidance
Keywords: مدل سازی رسمی; Reasoned modelling; Formal methods; Formal modelling; Formal verification; Automated reasoning; Artificial intelligence
Formal modelling of organisational goals based on performance indicators
Keywords: مدل سازی رسمی; Goals; Performance indicators; Organisation modelling; Formal modelling; Performance evaluation; Mathematical logic; Enterprise architectures; Formal verification
A system dynamics model of socio-technical regime transitions
Keywords: مدل سازی رسمی; Formal modelling; System dynamics; Transition mechanisms; Transition pathways
Modelling the dynamic structure of biological state-based systems
Keywords: مدل سازی رسمی; Formal modelling; Dynamic reconfiguration; X-machines; Population P Systems; biologically-inspired systems;
Checking of models built using a graphically based formal modelling language
Keywords: مدل سازی رسمی; Formal modelling; Model checking; Graphical models;