Keywords: روش رسمی; Formal method; Colored Petri net; Evaluation; Performance analysis; ASK-CTL;
مقالات ISI روش رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: روش رسمی; Risk assessment; Security; Real-time embedded systems; Formal method; Z notation;
Keywords: روش رسمی; Deadlock detection; Simulation; Type and effect system; Concurrency; Formal method;
Keywords: روش رسمی; Semantic Web; Ontology; Formal method; Software engineering
Keywords: روش رسمی; Deadlock detection; Race detection; Type and effect system; Concurrency; Formal method
An UML+Z Framework For Validating And Verifying the Static Aspect of Safety Critical System
Keywords: روش رسمی; UML class diagram; Class; Relation; Formal method; Z Notation; Z/EVES
Multi-tenant Verification-as-a-Service (VaaS) in a cloud
Keywords: روش رسمی; SaaS; Multi-Tenant Architecture (MTA); Formal method; Verification-as-a-Service (VaaS); Bigraph; Model checking
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel
Keywords: روش رسمی; Model checking; Linear temporal logic; Distributed memory algorithm; Formal method; Scalable algorithm; Reliable model checker
A rational framework for secure communication
Keywords: روش رسمی; Game theory; Cryptographic protocol; Formal method; Fairness; Approximation fairness
Deadlock detection and recovery for component-based systems
Keywords: روش رسمی; Component; Reliability; Formal method; Dynamic probe; Deadlock
Performance analysis and verification of safety communication protocol in train control system
Keywords: روش رسمی; EURORADIO; Simulation; Formal method; CPN (Colored Petri Net); Performance analysis; Verification
Rigorous development of prompting dialogues
Keywords: روش رسمی; Cognitive impairment; cress (Communication Representation Employing Systematic Specification); Dialogue; Formal method; guide (General User Interface for Disorders of Execution); IVR (Interactive Voice Response); lotos (Language Of Temporal Ordering Speci
Formal behavior modeling and effective automatic refinement
Keywords: روش رسمی; Behavior modeling; Formal refinement; Automatic refinement; Formal method; Model-Driven Development
Abstraction and analysis of clinical guidance trees
Keywords: روش رسمی; CGT, clinical guidance tree; Decision tree; Formal method; Healthcare; Lotos, language of temporal ordering specification
Verification and conformance test generation of communication protocol for railway signaling systems
Keywords: روش رسمی; Verification; Testing; LTS (Labeled Transition System); I/O FSM (Input/Output Finite State Machine); Formal method
An improvement on efficient anonymous auction protocols
Keywords: روش رسمی; Auction protocol; Anonymity; Authentication tests; Strand space model; Formal method;
Fault tree construction of hybrid system requirements using qualitative formal method
Keywords: روش رسمی; Requirements; Software safety; Fault tree; Formal method; Hybrid system;
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification
Keywords: روش رسمی; Software requirements analysis; V&V; Safety-critical systems; Inspection; Traceability; Formal method;