Author: Sen Liang
Publisher: Edp Sciences
E-ISSN: 2261-236x|128|issue|04004-04004
ISSN: 2261-236x
Source: MATEC Web of conference, Vol.128, Iss.issue, 2017-10, pp. : 04004-04004
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Derivation of Event-B Models from OWL Ontologies
MATEC Web of conference, Vol. 76, Iss. issue, 2016-10 ,pp. :
Diversity for security: case assessment for FPGA-based safety-critical systems
MATEC Web of conference, Vol. 76, Iss. issue, 2016-10 ,pp. :
MATEC Web of conference, Vol. 100, Iss. issue, 2017-03 ,pp. :