PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Idani, Akram"

Author of the publication

copydeleteadd this publication to your clipboard
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -.

, , , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 93-109. Springer, (2019)

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.

Akram Keramat University of Stuttgart

Akram Sadat Hosseini University of Stuttgart

 

Other publications of authors with the same name

Object oriented concepts identification from formal B specifications., and . Formal Methods in System Design, 30 (3): 217-232 (2007)Towards Reverse-Engineering of UML Views from Structured Formal Developments., and . ICEIS (3-1), page 94-103. (2008)Commandments of UML for Safety., , and . ICSEA, page 58. IEEE Computer Society, (2007)B Formal Validation of ERTMS/ETCS Railway Operating Rules., , , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 124-129. Springer, (2014)Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -., , , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 93-109. Springer, (2019)Towards a model driven formal approach for merging data, access control and business processes., and . MoDELS (Companion), page 57:1-57:5. ACM, (2020)Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B., , and . INFORSID, page 261-276. (2009)Extensions du diagramme d'activité pour contrôler l'accès au SI., , , and . INFORSID, page 151-165. (2015)A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams., , and . SEW, page 97-106. IEEE Computer Society, (2006)A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules., , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 173-190. Springer, (2019)