External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Polychronous automata and their use for formal validation of AADL models

Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard. Polychronous automata and their use for formal validation of AADL models. Frontiers of Computer Science in China, 13(4):677-697, 2019. [doi]

Authors

Thierry Gautier

This author has not been identified. Look up 'Thierry Gautier' in Google

Clément Guy

This author has not been identified. Look up 'Clément Guy' in Google

Alexandre Honorat

This author has not been identified. Look up 'Alexandre Honorat' in Google

Paul Le Guernic

This author has not been identified. Look up 'Paul Le Guernic' in Google

Jean-Pierre Talpin

This author has not been identified. Look up 'Jean-Pierre Talpin' in Google

Loïc Besnard

This author has not been identified. Look up 'Loïc Besnard' in Google
runs on