ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2014


Article Details
Title: A type-based analysis of causality loops in hybrid systems modelers
Article URLs:
Alternative Article URLs:
Authors: Albert Benveniste
  • INRIA
Timothy Bourke
  • INRIA
  • ENS/DI
BenoƮt Caillaud
  • INRIA
Bruno Pagano
  • Esterel-Technologies
Marc Pouzet
  • UPMC
  • ENS/DI
  • INRIA
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/hybrid/BenvenisteBCPP14
Author Comments:

Discuss this paper and its artifacts below