Albert Benveniste
- The synchronous languages 12 years later
2003/01/01 by Albert Benveniste, A. Benveniste, P. Caspi +8 · 8 citations
Computer Science · #Embedded Systems Design Techniques #Real-Time Systems Scheduling #Parallel Computing and Optimization Techniques
- A Generic Model of Contracts for Embedded Systems
2007/06/11 by Albert Benveniste, Benveniste, Albert, Benoı̂t Caillaud +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)