Singh, Hargurbir

Singh

Hargurbir

Suchergebnisse Publikationen

Gerade angezeigt 1 - 3 von 3

Zeitschriftenartikel
Causal Reasoning for Safety in Hennessy Milner Logic
(2020) Caltais, Georgiana; Mousavi, Mohammad Reza; Singh, Hargurbir
Erschienen in: Fundamenta Informaticae. IOS Press. 2020, 173(2-3), pp. 217-251. ISSN 0169-2968. eISSN 1875-8681. Available under: doi: 10.3233/FI-2020-1922
Beitrag zu einem Konferenzband
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
(2020) Caltais, Georgiana; Leue, Stefan; Singh, Hargurbir
Erschienen in: HAMMOUDI, Slimane, ed., Luis FERREIRA PIRES, ed., Bran SELIC, ed.. Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development : Volume 1: MODELSWARD. Setúbal, Portugal: SCITEPRESS, 2020, pp. 360-372. ISBN 9789897584008. Available under: doi: 10.5220/0008968303600372
Beitrag zu einem Konferenzband
From SysML to Model Checkers via Model Transformation
(2018) Kölbl, Martin; Leue, Stefan; Singh, Hargurbir
Erschienen in: DEL MAR GALLARDO, María, ed., Pedro MERINO, ed.. Model Checking Software : 25th International Symposium : SPIN 2018 : proceedings. Cham: Springer, 2018, pp. 255-274. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-94110-3. Available under: doi: 10.1007/978-3-319-94111-0_15