Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Kenza Kraibi

> Home > Persons

Person information

affiliation: Institut de Recherche Technologique Railenium, Famars, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2021
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Kraibi21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Kraibi21
Kenza Kraibi:
Towards a modular architecture of formal modelling : system/sub-systems decomposition in event-B. (Vers une architecture modulaire de modélisation formelle : décomposition système/sous-systèmes en B événementiel). École centrale de Lille, Villeneuve-d'Ascq, France, 2021

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jcm/KraibiADBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcm/KraibiADBP19
Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. J. Commun. 14(10): 980-986 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Kraibi20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Kraibi20
Kenza Kraibi:
Event-B: From Systems to Sub-systems Modeling. ABZ 2020: 418-422
2019
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KraibiARDBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KraibiARDBP19
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
Towards a Method for the Decomposition by Refinement in Event-B. FM Workshops (2) 2019: 358-370
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/KraibiARDBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/KraibiARDBP19
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT 2019: 278-286

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.