Design by contract
相关论文数: 3
顶级研究者
最高引用论文
CROME: Contract-Based Robotic Mission Specification
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider
引用数: 7 • 2020
An intent-specifications model for a robotic software control system
Israel Navarro, Kristina Lundqvist, Nancy G. Leveson
引用数: 5 • 2002
Application of contract-based verification techniques for hybrid automata to surgical robotic systems
Luzie Schreiter, Davide Bresolin, Marta Capiluppi, Joerg Raczkowsky, Paolo Fiorini, Heinz Woern
引用数: 4 • 2014