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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2013

Exposicio oral del pre-article “Las relaciones de Sibil·la de Fortia, ?una reina cuestionada?”, a carrec de la Dra. M.Elisa…

2009

Les descriptions de cabinets de curiosites sont une etape obligatoire des recits de voyages. Grâce a ces derniers, nous pouvons…

2003

This article studies the elements of validation used by the queens of Crown of Aragon from Petronila to Germana de Foix, with…

2000

본 논문에서는 ForTIA라 불리는 LOTOS 지원도구의 개발을 소개한다. ISO 표준 정형 명세언어인 LOTOS…

2000

In this paper, we introduce the development of a LOTOS-based tool, supporting formal methods, called ForTIA (A Formalism for…

1998

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

Alcats planimetrics de patis, edificis singulars, places i jardins del Barri Vell de Girona realitzats pels estudiants d…

1982

1982