Results 321 to 330 of about 3,157,454 (357)
Some of the next articles are maybe not open access.
Formal Specification and Verification
1997Once requirements are fully understood, it is important to have them documented and verified. This stage is critical, since no one wants to waste hundreds of employee hours developing a software package that does not function as expected. Requirements specification can be done in terms of the logical components involved, their respective inputs ...
openaire +2 more sources
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
IACR Cryptology ePrint Archive, 2018R. Bloem +5 more
semanticscholar +1 more source
Formale Verifikationsverfahren (Formal Verification)
it - Information Technology, 2001openaire +2 more sources
A hybrid formal verification approach for QoS-aware multi-cloud service composition
Cluster Computing, 2019A. Souri +3 more
semanticscholar +1 more source
A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications
Journal of Service Science Research, 2019A. Souri, Monire Norouzi
semanticscholar +1 more source
American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer
Ca-A Cancer Journal for Clinicians, 2002Carolyn D Runowicz +2 more
exaly
American Cancer Society Guidelines for Breast Cancer Screening: Update 2003
Ca-A Cancer Journal for Clinicians, 2003Robert A Smith, Ning Wang
exaly
Formal Verification of Side-channel Countermeasures via Elementary Circuit Transformations
IACR Cryptology ePrint Archive, 2018J. Coron
semanticscholar +1 more source
Social Influence in Adolescent Decision-Making: A Formal Framework
Frontiers in Psychology, 2019Simon Ciranka, Wouter Van Den Bos
exaly