AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Benoît Caillaud

Benoît Caillaud

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Others
AD Scientific Index ID: 4420091
French National Institute for Research in Computer Science and Control
person_outline Benoît Caillaud's MOST POPULAR ARTICLES
1-) Contracts for system design Foundations and Trends® in Electronic Design Automation 12 (2-3), 124-400, 2018
2-) Multiple viewpoint contract-based specification and design International Symposium on Formal Methods for Components and Objects, 200-225, 2007
3-) Concurrent secrets Discrete Event Dynamic Systems 17 (4), 425-446, 2007
4-) Learning procedural skills with a virtual reality simulator: An acceptability study Nurse education today 79, 153-160, 2019
5-) Compositionality in dataflow synchronous languages: Specification and distributed code generation Information and Computation 163 (1), 125-171, 2000