Results 151 to 160 of about 3,649,820 (385)
Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance [PDF]
, 2014 Computerised systems appear in almost all aspects of our daily lives, often in safety-critical scenarios such as embedded control systems in cars and aircraft or medical devices such as pacemakers and sensors.
Norman, Gethin, Parker, David
core +1 more source
FEBS Open Bio, EarlyView.This study optimizes a two‐step induction system to generate PGCLCs from chicken ESCs. The induced cells express germline markers and migrate to gonads in ovo, offering a novel approach for avian genetic resource conservation. Primordial germ cells (PGCs) are the progenitor cells of sperm and eggs.
Zeyu Li +10 more
wiley +1 more source
IEEE Access, 2017 Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements ...
Bostjan Vlaovic +2 more
doaj +1 more source
Formal Verification of a Railway Interlocking System using Model Checking [PDF]
, 1998 Alessandro Cimatti +5 more
openalex +1 more source
A general model for analysis of linear and hyperbolic enzyme inhibition mechanisms
FEBS Open Bio, EarlyView.We developed a general enzyme kinetic model that integrates these six basic inhibition mechanism onto a single one. From this model, we deduced a general enzyme kinetic equation that through modulation of simple parameters, γ (the relative inhibitor affinity for two binding sites) and β (the reactivity of the enzyme–substrate–inhibitor complex), is ...
Rafael S. Chagas, Sandro R. Marana
wiley +1 more source
The SCR method for formally specifying, verifying, and validating requirements [PDF]
, 1997 Constance Heitmeyer +2 more
openalex +1 more source
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
NASA Formal Methods, 2021 Hamza Bourbouh +6 more
semanticscholar +1 more source
HSP70 governs permeability and mechanotransduction in primary human endothelial cells
FEBS Open Bio, EarlyView.HSP70 chemical inhibition reduces endothelial cell proliferation and increases permeability, the latter supported by normal interendothelial junctional protein distribution. HSP70 also plays a role in shear stress response, a hemodynamic force naturally present in blood vessels and correlated with vessel protection.
Andrea Pinto‐Martinez +5 more
wiley +1 more source
Formal verification of Matrix based MATLAB models using interactive theorem proving. [PDF]
PeerJ Comput Sci, 2021 Gauhar A +4 more
europepmc +1 more source
Generating natural language descriptions of Z test cases [PDF]
, 2010 Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times formal, development technologies. In addition, model-based testing (MBT) is
Cristiá, Maximiliano, Plüss, Brian
core