Étienne André

ORCID iD
orcid.org/0000-0001-8473-9555
  • Country
  • Show details Hide details
France

Sources:
Étienne André (2017-08-03)

  • Keywords
  • Show details Hide details
computer science,

Sources:
Étienne André (2017-08-03)

formal verification,

Sources:
Étienne André (2017-08-03)

real-time systems,

Sources:
Étienne André (2017-08-03)

parametric timed automata,

Sources:
Étienne André (2017-08-03)

parameter synthesis,

Sources:
Étienne André (2017-08-03)

software engineering

Sources:
Étienne André (2017-08-03)

  • Websites
  • Show details Hide details
Web site

Sources:
Étienne André (2017-08-03)

Twitter

Sources:
Étienne André (2017-08-03)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 34976337300

Sources:
Scopus to ORCID (2017-08-03)

  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet
No publications added yet