Formal domain-driven system development in Event-B: Application to interactive critical systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar 0001, Guillaume Dupont, Dominique Méry, Philippe A. Palanque. Formal domain-driven system development in Event-B: Application to interactive critical systems. Journal of Systems Architecture, 135:102798, February 2023. [doi]

This author has not been identified. Look up 'Ismaïl Mendil' in GoogleThis author has not been identified. Look up 'Yamine Aït Ameur' in GoogleThis author has not been identified. Look up 'Neeraj Kumar 0001' in GoogleThis author has not been identified. Look up 'Guillaume Dupont' in GoogleThis author has not been identified. Look up 'Dominique Méry' in GoogleThis author has not been identified. Look up 'Philippe A. Palanque' in Google

runs on WebDSL