Derivation of Event-B Models from OWL Ontologies

Publisher： Edp Sciences

E-ISSN： 2261-236x|76|issue|04008-04008

ISSN： 2261-236x

Source： MATEC Web of conference, Vol.76, Iss.issue, 2016-10, pp. : 04008-04008

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV

By Sen Liang  

MATEC Web of conference, Vol. 128, Iss. issue, 2017-10 ,pp. : 04004-04004

Edp Sciences

Access to resources Recommend Favorite

NORTHERN SPOTTED OWL HABITAT MODELS FOR RESEARCH AND MANAGEMENT APPLICATION IN CALFORNIA (USA)

By  

Ecological Applications, Vol. 13, Iss. 4, 2003-08 ,pp. : 1027-1040

John Wiley & Sons Inc

Access to resources Recommend Favorite

Estimation of the isothermal compressibility from event-by-event multiplicity fluctuation studies

By  

EPJ Web of Conference, Vol. 171, Iss. issue, 2018-02 ,pp. : 14010-14010

Edp Sciences

Access to resources Recommend Favorite

Priority Derivation from Pairwise Comparison Matrices by Multi-Objective Evolutionary Computing

By  

MATEC Web of conference, Vol. 76, Iss. issue, 2016-10 ,pp. : 04039-04039

Edp Sciences

Access to resources Recommend Favorite

Derivation of Leaf‐Area Index from Quality of Light on the Forest Floor

By  

Ecology, Vol. 50, Iss. 4, 1969-07 ,pp. : 663-666

John Wiley & Sons Inc

Access to resources Recommend Favorite