Keywords: مدل سازی رسمی; Conflict tasks; Children; 5-6 years old; RT distribution analysis; Conditional Acuracy Function; Formal modeling;
مقالات ISI مدل سازی رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: مدل سازی رسمی; Predictive processing; Precision; Level of detail; Structured representations; Formal modeling; Causal Bayesian networks;
Keywords: مدل سازی رسمی; Formal modeling; Context recognition; Automated programming; Factory automation; Flexible manufacturing systems;
Keywords: مدل سازی رسمی; Fault diagnosis; Petri nets; hydropower plant; formal modeling; intelligent maintenance;
Keywords: مدل سازی رسمی; QFD; House of Quality; Formal Modeling; Computational Design Synthesis; Architectural Design;
Keywords: مدل سازی رسمی; Self-organization; Formal modeling; Runtime verification; HPobSAM
Keywords: مدل سازی رسمی; Formal modeling; Revised and extended GEBNF; Design patterns; Patterns’ inter-relationships; Pattern languages00-01; 99-00
Keywords: مدل سازی رسمی; Formal modeling; Systems biology; Model checking; Algorithms; Probabilistic modeling;
Task-structured probabilistic I/O automata
Keywords: مدل سازی رسمی; Probabilistic automata; I/O automata; Formal modeling; Cryptographic protocols;
Formal Modeling of Greedy Nodes in 802.15.4 WSN
Keywords: مدل سازی رسمی; IEEE 802.15.4; CSMA/CA; Formal Modeling; Timed Automata
Using graph transformation systems to formalize Tropos diagrams
Keywords: مدل سازی رسمی; Formal modeling; Graph transformation systems; Agent-oriented software engineering; Tropos
EITM: An assessment with an application to economic voting
Keywords: مدل سازی رسمی; Empirical implications of theoretical models; Economic voting; Formal modeling; Empirical modeling; Error-in-variables regression; Conditional expectations;
HPobSAM for modeling and analyzing IT Ecosystems – Through a case study
Keywords: مدل سازی رسمی; Self-adaptive systems; Large-scale software systems; Formal modeling; Verification; Self-organizing systems
Formal modeling and quantitative evaluation for information system survivability based on PEPA
Keywords: مدل سازی رسمی; survivability; stochastic process algebra; performance evaluation process algebra; formal modeling; quantitative evaluation;