Affordable Access

deepdyve-link
Publisher Website

Event-B Decomposition Analysis for Systems Behavior Modeling

Authors
  • KRAIBI, Kenza
  • BEN-AYED, Rahma
  • Rehm, Joris
  • Collart-Dutilleul, Simon
  • Bon, Philippe
  • Petit, Dorian
Publication Date
Jul 26, 2019
Identifiers
DOI: 10.5220/0007929602780286
OAI: oai:HAL:hal-02278832v1
Source
HAL
Keywords
Language
English
License
Unknown
External links

Abstract

ICSOFT 2019, 14th International Conference on Software Technologies, Prague, TCHÈQUE, RÉPUBLIQUE, 26-/07/2019 - 28/07/2019

Report this publication

Statistics

Seen <100 times