Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/ForTIA> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- ForTIA abstract "The Formal Techniques Industry Association (ForTIA) aimed to support the industrial use of formal methods under the umbrella organization of Formal Methods Europe. It was founded in 2003 through the initial efforts of Dines Bjørner and was chaired by Anthony Hall and Volkmar Lotz among others. Its scope was international and membership was by company. It organized meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME.".
- ForTIA wikiPageExternalLink www.fortia.org.
- ForTIA wikiPageID "2582996".
- ForTIA wikiPageLength "1580".
- ForTIA wikiPageOutDegree "11".
- ForTIA wikiPageRevisionID "568788842".
- ForTIA wikiPageWikiLink Category:Formal_methods_organizations.
- ForTIA wikiPageWikiLink Category:International_nongovernmental_organizations.
- ForTIA wikiPageWikiLink Category:Organizations_disestablished_in_2009.
- ForTIA wikiPageWikiLink Category:Organizations_established_in_2003.
- ForTIA wikiPageWikiLink Dines_Bjørner.
- ForTIA wikiPageWikiLink Formal_Methods_Europe.
- ForTIA wikiPageWikiLink Formal_methods.
- ForTIA wikiPageWikiLink J._Anthony_Hall.
- ForTIA wikiPageWikiLinkText "ForTIA".
- ForTIA hasPhotoCollection ForTIA.
- ForTIA wikiPageUsesTemplate Template:Formalmethods-stub.
- ForTIA wikiPageUsesTemplate Template:Nongov-org-stub.
- ForTIA wikiPageUsesTemplate Template:Reflist.
- ForTIA subject Category:Formal_methods_organizations.
- ForTIA subject Category:International_nongovernmental_organizations.
- ForTIA subject Category:Organizations_disestablished_in_2009.
- ForTIA subject Category:Organizations_established_in_2003.
- ForTIA type Establishment.
- ForTIA type Method.
- ForTIA type Organization.
- ForTIA type Organization.
- ForTIA comment "The Formal Techniques Industry Association (ForTIA) aimed to support the industrial use of formal methods under the umbrella organization of Formal Methods Europe. It was founded in 2003 through the initial efforts of Dines Bjørner and was chaired by Anthony Hall and Volkmar Lotz among others. Its scope was international and membership was by company. It organized meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME.".
- ForTIA label "ForTIA".
- ForTIA sameAs m.07pl_p.
- ForTIA sameAs Q5466634.
- ForTIA sameAs Q5466634.
- ForTIA wasDerivedFrom ForTIA?oldid=568788842.
- ForTIA isPrimaryTopicOf ForTIA.