Results 91 to 100 of about 1,210 (179)

Buque atunero 1200 TN [PDF]

open access: yes, 2016
Traballo fin de mestrado (UDC.EPS). Enxeñaría naval e oceánica.
Ramil Vizoso, Aitor
core   +1 more source

VibraTilt: Accelerometer & Gyroscope measurement app [PDF]

open access: yes, 2016
Khairani Muhammad Ng   +2 more
core   +1 more source

A Study on the Buckling Strength of Stern Skeg Shell Plate

open access: yesJournal of the Korean Society of Manufacturing Process Engineers, 2021
Kyung-Shin Choi   +4 more
openaire   +1 more source

Verification of the FtCayuga fault-tolerant microprocessor system. Volume 2: Formal specification and correctness theorems [PDF]

open access: yes
Presented here is a formal specification and verification of a property of a quadruplicately redundant fault tolerant microprocessor system design. A complete listing of the formal specification of the system and the correctness theorems that are proved ...
Bickford, Mark, Srivas, Mandayam
core   +1 more source

Home - About - Disclaimer - Privacy