Jules Verne | Automated teller machine | File Transfer Protocol | Jules Massenet | The Manhattan Transfer | Asynchronous Transfer Mode | All-terrain vehicle | Unmanned aerial vehicle | Jules Dassin | Étienne-Jules Marey | Remotely operated underwater vehicle | Sport utility vehicle | Jules Maigret | Hypertext Transfer Protocol | electric vehicle | unmanned aerial vehicle | Danny John-Jules | Manhattan Transfer | Hybrid electric vehicle | Armoured fighting vehicle | Verne Gagne | Transfer of sovereignty over Hong Kong | transfer | Simple Mail Transfer Protocol | Recreational vehicle | launch vehicle | Landing Vehicle Tracked | Jules Shear | Jules Michelet | Jules Ferry |
In April 2008, Astrée was able to prove the absence of any runtime error in a C version of the automatic docking software of the Jules Verne Automated Transfer Vehicle (ATV) used for transporting payloads to the International Space Station.