Matches in DBpedia 2014 for { <http://dbpedia.org/resource/ForTIA> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items 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 wikiPageRevisionID "568788842".
- ForTIA hasPhotoCollection ForTIA.
- 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 Abstraction100002137.
- ForTIA type FormalMethodsOrganizations.
- ForTIA type Group100031264.
- ForTIA type InternationalNongovernmentalOrganizations.
- ForTIA type NongovernmentalOrganization108009834.
- ForTIA type Organization108008335.
- ForTIA type OrganizationsEstablishedIn2003.
- ForTIA type SocialGroup107950920.
- ForTIA type YagoLegalActor.
- ForTIA type YagoLegalActorGeo.
- ForTIA type YagoPermanentlyLocatedEntity.
- 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 sameAs ForTIA.
- ForTIA wasDerivedFrom ForTIA?oldid=568788842.
- ForTIA isPrimaryTopicOf ForTIA.