Accéder directement au contenu

Jean-Claude Royer

1
Documents

Publications

zheng-cheng
Image document

Efficiently Characterizing the Undefined Requests of a Rule-Based System

Zheng Cheng , Jean-Claude Royer , Massimo Tisi
IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.69-88, ⟨10.1007/978-3-319-98938-9_5⟩
Communication dans un congrès hal-01828305v1