Rosmira Roslan

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Traffic Management

Top Venues

IEEE Trans. Reliab.

Publications

Charles E. Dickerson, Rosmira Roslan, Siyuan Ji
A Formal Transformation Method for Automated Fault Tree Generation from a UML Activity Model. CoRR (2018)
Charles E. Dickerson, Rosmira Roslan, Siyuan Ji
A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model. IEEE Trans. Reliab. 67 (3) (2018)
Charles E. Dickerson, Siyuan Ji, Rosmira Roslan
Formal methods for a system of systems analysis framework applied to traffic management. SoSE (2016)