Search for Author All Reviews
	Mallet, Frederic     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Specification and verification of time requirements with CCSL and Esterel André C., Mallet F.  LCTES 2009 (Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Dublin, Ireland, Jun 19-20, 2009) 167-176, 2009.  Type: Proceedings Timing is a key issue in reactive programming, a development paradigm suited to the design and implementation of safety-critical systems such as control and navigation devices that closely interact with their environment. While integra...... Aug 6 2009
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy