Xavier Morselli (LSR - IMAG)

Identifiers

• name variant Xavier Morselli (LSR - IMAG) 0.60 · backfill

Papers (1)

1. G\'en\'eSyst : G\'en\'eration d'un syst\`eme de transitions \'etiquet\'ees \`a partir d'une sp\'ecification B \'ev\'enementiel cs.SE · 2010 · author #1

Mentions

• 1004.2178 #1 · backfill · confidence 0.70 Xavier Morselli (LSR - IMAG)

Frequent Coauthors

• Marie-Laure Potet (LSR - IMAG) 1 shared papers
• Nicolas Stouls (LSR - IMAG) 1 shared papers