32948 articles – 26214 Notices  [english version]
.:. Consultation > Par auteur > Anthony Jose .:.
1 document

SMT based false causal loop detection during code synthesis from Polychronous specifications
Anthony Jose B., Gamatié A., Ouy J., Kumar Shukla S.
In 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE) (2011) [inria-00637574 - version 1]