Safety assurance of an industrial robotic control system using hardware/software co-verification
| Autor: | Murray, Yvonne, Sirevåg, Martin, Ribeiro, Pedro, Anisi, Alireza David, Mossige, Morten |
|---|---|
| Databáze: | NORA (Norwegian Open Research Archive) |
| Externí odkaz: |
|