Keywords: رویداد B; B-method; Event-B; Software model; Proof; Symbolic model checking;
مقالات ISI رویداد B (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: رویداد B; Formal reasoning; Multi-agent systems; Goal-oriented development; System resilience; Event-B;
Keywords: رویداد B; Instantiation; Refinement; Event-B; Abstract Data Types (ADTs);
Keywords: رویداد B; Event-B; Decomposition; Refinement; External variables; Interface instantiation
Keywords: رویداد B; Wireless sensor–actor networks (WSANs); Coordination links; Coordination recovery; Refinement; Pattern development; Event-B; RODIN tool
Towards correct cloud resource allocation in FOSS applications
Keywords: رویداد B; FOSS; Resource allocation; Cloud computing; Formal verification; Event-B;
Enabling analysis for Event-B
Keywords: رویداد B; Model comprehension; Static analysis; Event-B; Model checking; Constraint-based analysis;
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study
Keywords: رویداد B; Systems engineering; Hybrid system; Event-B; Conceptual model; Asynchronous behavior; View; Hemodialysis machine;
Stepwise construction of a metabolic network in Event-B: The heat shock response
Keywords: رویداد B; Biomodeling; Model refinement; Model hierarchy; Heat shock response; Event-B; Rodin;
Derivation of algorithmic control structures in Event-B refinement
Keywords: رویداد B; Refinement; Program verification; Event-B; Program derivation;
Building traceable Event-B models from requirements
Keywords: رویداد B; Event-B; Traceability; UML-B; Event Refinement Structure (ERS)
Facilitating construction of safety cases from formal models in Event-B
Keywords: رویداد B; Safety–critical software systems; Safety requirements; Formal development and verification; Event-B; Safety cases; Argument patterns
Core Hybrid Event-B I: Single Hybrid Event-B machines
Keywords: رویداد B; Event-B; Hybrid systems; Refinement; Formal development
Integrating SMT solvers in Rodin
Keywords: رویداد B; Formal methods; Event-B; SMT solving
Formalizing hybrid systems with Event-B and the Rodin Platform
Keywords: رویداد B; Event-B; Hybrid systems; Simulink stateflow; Action Systems
Integration of SMT-solvers in B and Event-B development environments
Keywords: رویداد B; Formal methods; Event-B; SMT-solving
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip
Keywords: رویداد B; Agent-based system; Dynamic reconfiguration; Event-B; Formal methods; Fault-tolerance; Network-On-Chip;
Validation of formal models by refinement animation
Keywords: رویداد B; Refinement; Model checking; Constraint-solving; Tools; Industrial applications; Event-B
Developing mode-rich satellite software by refinement in Event-B
Keywords: رویداد B; Mode consistency; Event-B; Refinement; Components; Formal verification; On-board software