( en | de | ru )

 

Disambiguation of "Berkani, Karim"

Author of the publication

copydeleteadd this publication to your clipboard
Validation des règles de base de l'Atelier B.

, , , and . Technique et Science Informatiques, 23 (7): 855-878 (2004)

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.

Mohamed Berkani

Laihem Karim

Measurement of the positron polarization at an helical undulator based positron source for the international linear collider ILC. HU Berlin, (2008)

Kamran Karim

Roxana Kariminejad

Mahmoud Karim

 

Other publications of authors with the same name

Feature Specification and Static Analysis for Interaction Resolution., , and . FM, volume 4085 of Lecture Notes in Computer Science, page 364-379. Springer, (2006)Validation des règles de base de l'Atelier B., , , and . Technique et Science Informatiques, 23 (7): 855-878 (2004)An incremental method for the design of feature-oriented systems., , and . FIREworks, page 45-64. Springer, (2000)Modeling the CBTC Railway System of Siemens with ScOLa., , , and . Int. J. Intelligent Transportation Systems Research, 16 (3): 163-172 (2018)Verifying B proof rules using deep embedding and automated theorem proving., , , and . Softw. Syst. Model., 14 (1): 101-119 (2015)