Keywords: تکنیک های توصیف رسمی; Model-based approaches; Formal description techniques; Interactive software engineering; Automation; Distributed user interfaces; Dynamic reconfiguration of user interfaces
مقالات ISI تکنیک های توصیف رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
Keywords: تکنیک های توصیف رسمی; Model-based approaches; ARINC 661 specification; Formal description techniques; Interactive software engineering; Interactive cockpits
Some notes on the history of protocol engineering
Keywords: تکنیک های توصیف رسمی; Protocol engineering; Communication protocols; Computer networks; Formal description techniques; Protocol specification; Protocol verification; Conformance testing; Standardization; Historical developments
Timed verification of the reliable adaptive multicast protocol
Keywords: تکنیک های توصیف رسمی; Formal description techniques; RAMP; Timed parameter; Time-Estelle; Petri Nets; Verification
A Formal Approach for Analysis and Testing of Reliable Embedded Systems
Keywords: تکنیک های توصیف رسمی; Embedded systems; analysis and testing; extended finite state machines; formal description techniques;