Skip to search formSkip to main contentSkip to account menu

ForTIA

Known as: Formal Techniques Industry Association 
The Formal Techniques Industry Association (ForTIA) aimed to support the industrial use of formal methods under the umbrella organization of Formal… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Formal Methods EuropeFormal methodsJ. Anthony Hall

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Exposición oral del pre-artículo “Las relaciones de Sibil•la de Fortià, ¿una reina cuestionada?”
Exposicio oral del pre-article “Las relaciones de Sibil·la de Fortia, ?una reina cuestionada?”, a carrec de la Dra. M.Elisa… 
2012
2012
Fortianell: un recorregut per la seva història
El petit nucli de Fortianell (Fortia) ha estat el centre d’activitats formatives i educatives durant gairebe un segle, de 1855… 
2009
2009
Le cabinet de curiosités décrit dans les récits de voyages : Voyage de deux Français en Allemagne, Danemarck, Suède, Russie et Pologne, de Fortia de Piles
Les descriptions de cabinets de curiosites sont une etape obligatoire des recits de voyages. Grâce a ces derniers, nous pouvons… 
Review
2004
Review
2004
Formal Methods Europe Update
This issue of Formal Aspects of Computing marks the beginning of an association between the journal and Formal Methods Europe… 
2003
2003
Signos, sellos y firmas de las reinas de Aragón
This article studies the elements of validation used by the queens of Crown of Aragon from Petronila to Germana de Foix, with… 
2000
2000
ForTIA : LOTOS 기반의 정형기법 지원도구
본 논문에서는 ForTIA라 불리는 LOTOS 지원도구의 개발을 소개한다. ISO 표준 정형 명세언어인 LOTOS… 
2000
2000
ForTIA : A Tool Supporting Formal Method based on LOTOS
In this paper, we introduce the development of a LOTOS-based tool, supporting formal methods, called ForTIA (A Formalism for… 
1998
1998
L'homme qui signa l'édit de Nantes : Pierre Forget de Fresnes (mort 18 avril 1610). Eléments de biographie
Pierre Forget de Fresnes est le secretaire d'Etat qui a signe et peut-etre redige l'edit de Nantes. L'article retrace sa carriere… 
1997
1997
Girona: pedres i flors
Alcats planimetrics de patis, edificis singulars, places i jardins del Barri Vell de Girona realitzats pels estudiants d… 
1982
1982
Fortia-Pharmacia och vattenmiljön
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)