Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

ICAIL
1997
ACM

favoriteEmaildiscussreport

119views Artificial Intelligence» more ICAIL 1997»

Formalization of Legislative Documents Based on a Functional Model

13 years 9 months ago

Formalization of Legislative Documents Based on a Functional Model

Download www.ittig.cnr.it

Daniela Tiscornia, Fabrizio Turchi

Real-time Traffic

Artificial Intelligence | ICAIL 1997 |

claim paper

Related Content

» Automated Legislative Drafting Generating Paraphrases of Legislation

» Logical document conversion combining functional and formal knowledge

» A formal model to aid documenting and harmonizing of information security requirements

» Formal System Design Based on the Synchrony Hypothesis Functional Models and Skeletons

» Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Gr...

» Service and Document Based Interoperability for European eCustoms Solutions

» Formal Approach for the Coherence Control of SMIL Documents

» Formal Specification Generation from Requirement Documents

» An Approach to Formalization and Analysis of Message Passing Libraries

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1997
Where	ICAIL
Authors	Daniela Tiscornia, Fabrizio Turchi

Comments (0)