Author: "Yamine Aït-Ameur" / Journal: ifm - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Yamine Aït-Ameur"' showing total 4 results

Start Over Author "Yamine Aït-Ameur" Journal ifm

4 results on '"Yamine Aït-Ameur"'

1. Empowering the Event-B Method Using External Theories.

Author: Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, and Neeraj Kumar Singh 0001
Published: 2022
Full Text: View/download PDF

2. Reachability Analysis and Simulation for Hybridised Event-B Models.

Author: Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh 0001, and Paulius Stankaitis
Published: 2022
Full Text: View/download PDF

3. An Event-B Based Generic Framework for Hybrid Systems Formal Modelling.

Author: Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, and Neeraj Kumar Singh 0001
Published: 2020
Full Text: View/download PDF

4. Cooperation of Formal Methods in an Engineering Based Software Development Process.

Author: Yamine Aït Ameur
Published: 2000
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results