Author of the publication

Safety Requirements Specification and Verification for Railway Interlocking Systems.

, , , , and . COMPSAC, page 335-340. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Estimation and model selection of semiparametric copula-based multivariate dynamic models under copula misspecification, and . Journal of Econometrics, 135 (1-2): 125--154 (00 2006)Selecting supplier combination based on fuzzy multicriteria analysis., , , and . Int. J. General Systems, 44 (5): 572-590 (2015)TimePF: A Tool for Modeling and Verifying Timing Requirements Based on Problem Frames., , and . APRES, volume 558 of Communications in Computer and Information Science, page 149-154. Springer, (2015)Programming Error Based on Ellipse Variable Programming., , and . ICICA (2), volume 392 of Communications in Computer and Information Science, page 479-487. Springer, (2013)Hyperspectral characteristics of seawater intrusion in Pearl River Delta, China based on laboratory experiments., , , , and . IGARSS, page 4825-4828. IEEE, (2012)An adaptive decision maker for constrained evolutionary optimization., , , , and . Appl. Math. Comput., 215 (12): 4172-4184 (2010)A new central compact finite difference scheme with high spectral resolution for acoustic wave equation., , , , and . J. Comput. Phys., (2018)Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach., and . SEKE, page 61-65. Knowledge Systems Institute Graduate School, (2012)Fuzzy 2D Linear Discriminant Analysis Based on Sub-image and Random Sampling for Face Recognition., , and . IJPRAI, 34 (1): 2056001:1-2056001:19 (2020)Multidimensional Seismic Data Reconstruction Using Frequency-Domain Adaptive Prediction-Error Filter., , , , , and . IEEE Trans. Geosci. Remote. Sens., 56 (4): 2328-2336 (2018)