.:. 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. Dans 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE) (2011) [inria-00637574 - version 1]