Results 341 to 350 of about 3,157,454 (357)

Formal equivalence verification

2015
Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar   +2 more
openaire   +1 more source

The importance of community‐based informal water supply systems in the developing world and the need for formal sector support

Geographical Journal, 2016
Sarah M Mager
exaly  

Formal verification of integer multipliers by combining Gröbner basis with logic reduction

Design, Automation and Test in Europe, 2016
Amr A. R. Sayed-Ahmed, Daniel Große, U. Kühne, Mathias Soeken, R. Drechsler   +4 more
semanticscholar   +1 more source

Formal Models of Verification

2006
Rudolf Avenhaus, Morton J. Canty
openaire   +2 more sources

The Formal Systems Response to Violence Against Women in India: A Cultural Lens

American Journal of Community Psychology, 2018
Suvarna V Menon
exaly  

An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing

Journal of Systems and Software, 2017
Bahman Keshanchi, A. Souri, Nima Jafari Navimipour   +2 more
semanticscholar   +1 more source

Linkages between informal and formal care-givers in home-care networks of frail older adults

Ageing and Society, 2016
Theo G Van Tilburg, Peter Groenewegen, Marjolein Broese Van Groenou   +2 more
exaly  

Evaluating the suitability of state‐based formal methods for industrial deployment

Software - Practice and Experience, 2018
Alexander Egyed, Atif Mashkoor, Felix Kossak   +2 more
exaly  

Psychiatric considerations in the oncology setting

Ca-A Cancer Journal for Clinicians, 2015
exaly  

Formal Verification of Random Forests in Safety-Critical Applications

International Workshop on Formal Techniques for Safety-Critical Systems, 2018
John Törnblom, S. Nadjm-Tehrani
semanticscholar   +1 more source