Results 141 to 150 of about 3,649,820 (385)

Analog and Mixed Signal Verification [PDF]

, 2008
More and more electronic systems have components that are not purely digital. Verification of such systems is a much less developed discipline than the digital equivalents and the application of formal (mathematically complete) techniques is a nascent ...
Jones, K.
core  

Transcriptional regulation of neuropeptide receptors underlies context‐dependent adaptation in Drosophila melanogaster

FEBS Open Bio, EarlyView.
Under environmental changes, the expression level of neuropeptide (NP) and neuropeptide receptor (NPR) genes changes to confer context‐dependent adaptation to the model organism Drosophila melanogaster. Through finding more regulatory elements in the NPR genes in comparison with their ligands (NPs), we found that NPR‐biased transcriptional regulation ...
SeungHeui Ryu, Yanan Wei, Zekun Wu, Tianmu Zhang, DoHoon Lee, Hadi Najafi, Woo Jae Kim   +6 more
wiley   +1 more source

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines

IEEE Access, 2017
ISO 26262, an automotive functional safety standard, ensures the functional safety of automotive systems by providing requirements and processes to govern the software lifecycle.
Ghada Bahig, Amr El-Kadi
doaj   +1 more source

A Symbolic Modelling Approach for the Formal Verification of Integrated Mixed-Mode Systems [PDF]

, 1996
Stefan Hendricx, Luc Claesen
openalex   +1 more source

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach. [PDF]

Front Robot AI, 2022
Foughali M, Zuepke A.
europepmc   +1 more source

Towards a method for rigorous development of generic requirements patterns

, 2006
We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated
A. Węsowski, B. Dehbonei, C. Snook, C. Snook, C.M. Belcastro, D. Batory, D. Muthig, G. Booch, J.-R. Abrial, L. Laibinis, L. Laibinis, M. Fayad, P. Amey, R. Banach, S.R. Faulk, W. Lam   +15 more
core   +1 more source

Identification of amino acids essential for angulin‐1/3 binding of the tricellular tight junction binder, angubindin‐1

FEBS Open Bio, EarlyView.
Angubindin‐1 binds angulin‐1/‐3 at tricellular tight junctions, enhancing intestinal macromolecule permeation. Alanine scanning identified six essential residues (L562, L598, E638, V640, Y643, and K644) of angubindin‐1 critical for binding to angulin‐1/‐3 and permeation‐enhancing activity, providing insights for the development of targeted noninvasive ...
Taiki Kuzu, Yumi Iwashita, Keisuke Tachibana, Itsuki Nishino, Yuki Niwa, Atsuko Uyeda, Kazuki Matsuo, Masahiro Nagahama, Masuo Kondoh   +8 more
wiley   +1 more source

Hardware security and reliability verification based on fault propagation model

Xibei Gongye Daxue Xuebao
Large scale integrate circuits is facing serious threat such as design vulnerabilities, side channels, and hardware Trojans. Traditional functional verification method is difficult to ensure high test coverage, and it is also difficult to detect security
ZHANG Xige, ZHU Jiacheng, MA Jun, SHEN Lixiang, ZHOU Jiahui, MU Dejun   +5 more
doaj   +1 more source

Formally Verifying Interactive Systems: A Review [PDF]

, 1997
José Creissac Campos, Michael D. Harrison   +1 more
openalex   +1 more source

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. [PDF]

PeerJ Comput Sci, 2023
Tran DD, Wai Mon T, Ogata K.
europepmc   +1 more source