Results 271 to 280 of about 4,463,103 (324)

Applying Formal Methods to the Design of Smart Card Software

, 1997
Michael Butler, Pieter Hartel, Mark Longley, Eduard de Jong   +3 more
openalex   +1 more source

Freshness and physicochemical properties of breast meat from chickens slaughtered by cervical neck dislocation or transverse neck incision. [PDF]

Poult Sci
Seloane CM, Mdletshe ZM.
europepmc   +1 more source

Exploring documentation and reporting practices in malaria tracking: a mixed-methods study among formal drug retail shops in Hohoe Municipal, Ghana. [PDF]

Malar J
Loglo V, Gmayinaam VU, Ampomah MA, Boateng P, Ansah EK.   +4 more
europepmc   +1 more source

Hyperfibrinolysis During Caesarean Section and Vaginal Delivery: A Prospective Cross-Sectional Study in the Delivery Room. [PDF]

J Clin Med
Zoidl P, Honnef G, Eichinger M, Eichlseder M, Heuschneider L, Hammer S, Schreiber N, Prüller F, Weiss EC, Amtmann B, Bornemann-Cimenti H.   +10 more
europepmc   +1 more source

Security and Privacy of Protocols and Software with Formal Methods

, 2016
F. Biondi, Axel Legay
openalex   +1 more source