3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.NE2023★ 1 cited
Formal description of ML models for unambiguous implementation
Adrien Gauffriau, Iryna De Albuquerque Silva, Claire Pagetti
Implementing deep neural networks in safety critical systems, in particular in the aeronautical domain, will require to offer adequate specification paradigms to preserve the seman…
cs.PL2010★ 3 cited
Implementing Multi-Periodic Critical Systems: from Design to Code Generation
Julien Forget, Frédéric Boniol, David Lesens +1
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends…