The reviewed record of science
Research
Integrity
Review
Pre-print
sign in
Pith
Physics
Mathematics
Computer Science
Biology
Finance
Statistics
Systems
Economics
authors
/ Aymen Louati
Aymen Louati
Identifiers
name variant
Aymen Louati
0.60 · backfill
Papers (1)
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams
cs.SE · 2014 · author #1
Mentions
1401.5612
#1 · arxiv_oai · confidence 0.70
Aymen Louati
1401.5612
#1 · backfill · confidence 0.70
Aymen Louati
Frequent Coauthors
Chadlia Jerad
1 shared papers
Kamel Barkaoui
1 shared papers