Author: "Izadi, M. (Mohammad)" - 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 '"Izadi, M. (Mohammad)"' showing total 14 results

Start Over Author "Izadi, M. (Mohammad)"

14 results on '"Izadi, M. (Mohammad)"'

1. Buchi Automata for Modeling Component Connectors

Author: Bonsangue, M.M. (Marcello), Clarke, D.G. (David), Izadi, M. (Mohammad), Bonsangue, M.M. (Marcello), Clarke, D.G. (David), and Izadi, M. (Mohammad)
Published: 2011

2. Model checking of component connectors

Author: Izadi, M. (Mohammad) and Izadi, M. (Mohammad)
Published: 2011

3. Model checking of component connectors

Author: Izadi, M. (Mohammad) and Izadi, M. (Mohammad)
Published: 2011

4. Buchi Automata for Modeling Component Connectors

Author: Bonsangue, M.M. (Marcello), Clarke, D.G. (David), Izadi, M. (Mohammad), Bonsangue, M.M. (Marcello), Clarke, D.G. (David), and Izadi, M. (Mohammad)
Published: 2011

5. Buchi Automata for Modeling Component Connectors

Author: Bonsangue, M.M. (Marcello), Clarke, D.G. (David), Izadi, M. (Mohammad), Bonsangue, M.M. (Marcello), Clarke, D.G. (David), and Izadi, M. (Mohammad)
Published: 2010

6. Buchi Automata for Modeling Component Connectors

Author: Bonsangue, M.M. (Marcello), Clarke, D.G. (David), Izadi, M. (Mohammad), Bonsangue, M.M. (Marcello), Clarke, D.G. (David), and Izadi, M. (Mohammad)
Published: 2010

7. Automata Based Model Checking for Reo Connectors

Author: Arbab, F. (Farhad), Sirjani, M. (Marjan), Bonsangue, M.M. (Marcello), Izadi, M. (Mohammad), Arbab, F. (Farhad), Sirjani, M. (Marjan), Bonsangue, M.M. (Marcello), and Izadi, M. (Mohammad)
Published: 2009

8. Automata Based Model Checking for Reo Connectors

Author: Arbab, F. (Farhad), Sirjani, M. (Marjan), Bonsangue, M.M. (Marcello), Izadi, M. (Mohammad), Arbab, F. (Farhad), Sirjani, M. (Marjan), Bonsangue, M.M. (Marcello), and Izadi, M. (Mohammad)
Published: 2009

9. Recasting Constraint Automata into Buchi Automata

Author: Bonsangue, M.M. (Marcello), Izadi, M. (Mohammad), Bonsangue, M.M. (Marcello), and Izadi, M. (Mohammad)
Published: 2008

10. Modeling Component Connectors: Synchronisation and Context-Dependency

Author: Cerone, A., Bonsangue, M.M. (Marcello), Izadi, M. (Mohammad), Clarke, D.G. (David), Cerone, A., Bonsangue, M.M. (Marcello), Izadi, M. (Mohammad), and Clarke, D.G. (David)
Published: 2008

11. Recasting Constraint Automata into Buchi Automata

Author: Bonsangue, M.M. (Marcello), Izadi, M. (Mohammad), Bonsangue, M.M. (Marcello), and Izadi, M. (Mohammad)
Published: 2008

12. Modeling Component Connectors: Synchronisation and Context-Dependency

Author: Cerone, A., Bonsangue, M.M. (Marcello), Izadi, M. (Mohammad), Clarke, D.G. (David), Cerone, A., Bonsangue, M.M. (Marcello), Izadi, M. (Mohammad), and Clarke, D.G. (David)
Published: 2008

13. Model Checking of Component Connectors

Author: Izadi, M. (Mohammad), Movaghar, A. (Ali), Arbab, F. (Farhad), Izadi, M. (Mohammad), Movaghar, A. (Ali), and Arbab, F. (Farhad)
Published: 2007

14. Model Checking of Component Connectors

Author: Izadi, M. (Mohammad), Movaghar, A. (Ali), Arbab, F. (Farhad), Izadi, M. (Mohammad), Movaghar, A. (Ali), and Arbab, F. (Farhad)
Published: 2007

Catalog

Books, media, physical & digital resources

See catalog results