Concepedia
Statistics
Publications
1
Citations
10
H-Index
Active since
2004
Issarny is an author specializing in atomic coordination, deductive verification, and coordinated action.
Publications per year
2004–2004
Using the B Method for the Formalization of Coordinated Atomic Actions
Ferda Tartanoglu, Nicole Lévy, Issarny et al. · School of Computing Science Technical Report Series · 2004 · 10 citations
Computing, Computer Science, Formal Methods +5
1–1 of 1