Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : Universite De Franche-Comte (Ufc)

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Formal Security Analysis of Traditional and Electronic Exams

Authors : Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali ...

Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Source: ISSN: 1865-0929 ; Communications in Computer and Information Science ; https://hal.science/hal-01337412 ; Communications in Computer and Information Science, 2015,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

FORMAL SPECIFICATIONS BUILDING FROM SPECIFICATIONS WRITTEN IN NATURAL LANGUAGE

Authors : Fougères, Alain-Jérôme;

Subjects: Knowledge Representation; Natural Language Processing; Formal SpecificationBrest; France

Source: Proccedings of the European Conference on Human Centered Processes ; HCP'99 ; https://hal.science/hal-00570367 ; HCP'99, Sep 1999, Brest, France. pp.225-232

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

The formalisation of specifications from specifications written in natural language

Authors : Fougères, Alain-Jérôme; Trigano, Philippe;

Subjects: Knowledge Representation; Natural Language Processing; Conceptual GraphsParis; France

Source: Technology Series of IITT ; Expersys'96 ; https://hal.science/hal-00569994 ; Expersys'96, 1996, Paris, France. pp.369-374

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي