Results 141 to 150 of about 3,585,340 (204)

Correction: Avian spring migration at the east Adriatic coast: coastal and sea‑crossing dynamics of intensity, timing, and flight directions. [PDF]

open access: yesMov Ecol
Hirschhofer S   +9 more
europepmc   +1 more source
Some of the next articles are maybe not open access.

Related searches:

Analytic verification of flight software

IEEE Intelligent Systems, 1998
To provide rigorous validation and verification of autonomous flight software for space vehicles, the authors apply two analytic verification approaches: design-time model checking and run-time behavior auditing.
Michael R. Lowry, Daniel Dvorak
openaire   +2 more sources

Home - About - Disclaimer - Privacy