Blar i Publikasjoner fra Cristin - NMBU på tidsskrift "Science of Computer Programming"
Viser treff 1-1 av 1
-
Safety assurance of an industrial robotic control system using hardware/software co-verification
(Journal article; Peer reviewed, 2021)As a general trend in industrial robotics, an increasing number of safety functions are being developed or re-engineered to be handled in software rather than by physical hardware such as safety relays or interlock circuits. ...