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.

Reactive embedded device driver synthesis using logical timed models

Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Olivier H. Roux. Reactive embedded device driver synthesis using logical timed models. In 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications, SIMULTECH 2014, Vienna, Austria, August 28-30, 2014. pages 163-169, IEEE, 2014. [doi]

Authors

Julien Tanguy

This author has not been identified. Look up 'Julien Tanguy' in Google

Jean-Luc Béchennec

This author has not been identified. Look up 'Jean-Luc Béchennec' in Google

Mikaël Briday

This author has not been identified. Look up 'Mikaël Briday' in Google

Olivier H. Roux

This author has not been identified. Look up 'Olivier H. Roux' in Google
runs on