Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q4678216> ?p ?o }
- Q4678216 subject Q7049651.
- Q4678216 subject Q7142682.
- Q4678216 subject Q7471400.
- Q4678216 subject Q8759019.
- Q4678216 subject Q8798629.
- Q4678216 abstract "AdaCore is a computer software company that provides open source software tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator.GNAT Pro, AdaCore's main product, is a commercial-grade open source Ada development that supports all Ada versions (Ada 2012, Ada 2005, Ada 95, Ada 83) and includes professional consulting, training and maintenance services. All AdaCore software products are licensed either under the GPL or the GMGPL license. Special releases are made for academic use.The company was founded in 1994, and was originally named Ada Core Technologies (ACT). In 2004 it was rebranded to AdaCore.AdaCore is privately owned and has North American headquarters in New York and European headquarters in Paris.".
- Q4678216 foundingYear "1994".
- Q4678216 industry Q7397.
- Q4678216 location Q1384.
- Q4678216 location Q90.
- Q4678216 product Q180760.
- Q4678216 product Q7226105.
- Q4678216 product Q841757.
- Q4678216 thumbnail AdaCore_(logo).jpg?width=300.
- Q4678216 type Q167037.
- Q4678216 wikiPageExternalLink libre.adacore.com.
- Q4678216 wikiPageExternalLink smartward.com.au.
- Q4678216 wikiPageExternalLink university.adacore.com.
- Q4678216 wikiPageExternalLink www.adacore.com.
- Q4678216 wikiPageExternalLink www.adacore.com.
- Q4678216 wikiPageExternalLink 787-dreamliner-air-conditioning-control-unit.
- Q4678216 wikiPageExternalLink 787-dreamliner-common-core-system.
- Q4678216 wikiPageExternalLink advanced-jet-avionics-display.
- Q4678216 wikiPageExternalLink amx-modernization-program.
- Q4678216 wikiPageExternalLink argos-satellite-project.
- Q4678216 wikiPageExternalLink arinc-653.
- Q4678216 wikiPageExternalLink c130-j-flight-management-system.
- Q4678216 wikiPageExternalLink cross-domain-guard.
- Q4678216 wikiPageExternalLink cubesat-1.
- Q4678216 wikiPageExternalLink financial-system-development.
- Q4678216 wikiPageExternalLink gnat-pro-safety-critical-used-by-terma-a-s-for-space-monitor-project.
- Q4678216 wikiPageExternalLink hospital-information-system-development.
- Q4678216 wikiPageExternalLink international-space-station.
- Q4678216 wikiPageExternalLink land-and-naval-surveillance-and-defense-systems.
- Q4678216 wikiPageExternalLink multi-level-security-workstation.
- Q4678216 wikiPageExternalLink neuron-unmanned-aircraft.
- Q4678216 wikiPageExternalLink railway-control-system.
- Q4678216 wikiPageExternalLink toyota-itc-japan.
- Q4678216 wikiPageExternalLink a350.
- Q4678216 wikiPageExternalLink mbda.
- Q4678216 wikiPageExternalLink CaseStudy_Eurofighter.pdf.
- Q4678216 wikiPageExternalLink adacore.
- Q4678216 wikiPageExternalLink www.deepbluecap.com.
- Q4678216 wikiPageExternalLink ,.
- Q4678216 wikiPageExternalLink 09-gasperoni.php.
- Q4678216 wikiPageExternalLink en.
- Q4678216 wikiPageExternalLink adacore.
- Q4678216 wikiPageExternalLink www.telecom-robotics.org.
- Q4678216 wikiPageExternalLink en.
- Q4678216 wikiPageExternalLink www.verocel.com.
- Q4678216 wikiPageWikiLink Q105557.
- Q4678216 wikiPageWikiLink Q10853917.
- Q4678216 wikiPageWikiLink Q1128353.
- Q4678216 wikiPageWikiLink Q1142930.
- Q4678216 wikiPageWikiLink Q1161666.
- Q4678216 wikiPageWikiLink Q1335007.
- Q4678216 wikiPageWikiLink Q1384.
- Q4678216 wikiPageWikiLink Q1475070.
- Q4678216 wikiPageWikiLink Q1486114.
- Q4678216 wikiPageWikiLink Q1546159.
- Q4678216 wikiPageWikiLink Q154755.
- Q4678216 wikiPageWikiLink Q155573.
- Q4678216 wikiPageWikiLink Q167037.
- Q4678216 wikiPageWikiLink Q17067885.
- Q4678216 wikiPageWikiLink Q17182531.
- Q4678216 wikiPageWikiLink Q1746945.
- Q4678216 wikiPageWikiLink Q175263.
- Q4678216 wikiPageWikiLink Q180760.
- Q4678216 wikiPageWikiLink Q204214.
- Q4678216 wikiPageWikiLink Q219501.
- Q4678216 wikiPageWikiLink Q221329.
- Q4678216 wikiPageWikiLink Q221395.
- Q4678216 wikiPageWikiLink Q2311820.
- Q4678216 wikiPageWikiLink Q23548.
- Q4678216 wikiPageWikiLink Q26540.
- Q4678216 wikiPageWikiLink Q2672736.
- Q4678216 wikiPageWikiLink Q2876213.
- Q4678216 wikiPageWikiLink Q294532.
- Q4678216 wikiPageWikiLink Q388.
- Q4678216 wikiPageWikiLink Q39162.
- Q4678216 wikiPageWikiLink Q392933.
- Q4678216 wikiPageWikiLink Q4033818.
- Q4678216 wikiPageWikiLink Q4405539.
- Q4678216 wikiPageWikiLink Q461210.
- Q4678216 wikiPageWikiLink Q479882.
- Q4678216 wikiPageWikiLink Q499207.
- Q4678216 wikiPageWikiLink Q502931.
- Q4678216 wikiPageWikiLink Q5361498.
- Q4678216 wikiPageWikiLink Q66.
- Q4678216 wikiPageWikiLink Q7049651.
- Q4678216 wikiPageWikiLink Q7142682.
- Q4678216 wikiPageWikiLink Q7226105.
- Q4678216 wikiPageWikiLink Q7240.
- Q4678216 wikiPageWikiLink Q739416.
- Q4678216 wikiPageWikiLink Q7397.
- Q4678216 wikiPageWikiLink Q7471400.
- Q4678216 wikiPageWikiLink Q7603.
- Q4678216 wikiPageWikiLink Q7921788.
- Q4678216 wikiPageWikiLink Q807964.
- Q4678216 wikiPageWikiLink Q80978.