14 results on '"Roux, Olivier H."'
Search Results
2. Pipeline Optimization using a Cost Extension of Timed Petri Nets
3. Control of DES with Urgency, Avoidability and Ineluctability
4. A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles
5. Optimal-Cost Reachability Analysis Based on Time Petri Nets
6. Adaptability of automated driving systems to the hazardous nature of road networks
7. Dynamic driving task fallback for an automated driving system whose ability to monitor the driving environment has been compromised
8. Testing real-time embedded software using runtime enforcement
9. Use of Runtime Enforcement for the Test of Real-time Systems
10. Reactive Embedded Device Driver Synthesis using Logical Timed Models
11. Device driver synthesis for embedded systems
12. Reactive embedded device driver synthesis using logical timed models.
13. Time Arc Petri Nets and Their Analysis
14. A Study of the AADL Mode Change Protocol
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.