Results 201 to 210 of about 1,197,029 (323)
Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction
, 2012 Jianye Hao +6 more
openalex +2 more sources
Advanced Engineering Materials, EarlyView.The results demonstrate a simulation‐driven workflow that applies LSB topology optimization with additive manufacturing constraints to mission‐specific load cases, integrating European Cooperation for Space Standardization compliant verification and manufacturability to develop structurally efficient rover suspension components.
Stelios K. Georgantzinos +11 more
wiley +1 more source
Model checking of distributed algorithms using synchronous programs
Erwan Jahier +3 more
openalex +1 more source
Specification Mining Based on the Ordering Points to Identify the Clustering Structure Clustering Algorithm and Model Checking [PDF]
Yiming Fan, Meng Wang
openalex +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. [PDF]
Sensors (Basel), 2019 Kunnappilly A, Marinescu R, Seceleanu C.
europepmc +1 more source
On model checking the dynamics of object-based software : a foundational approach
, 2003 Dino Distefano
openalex +1 more source