Design by contract
Related papers: 3
Top Researchers
Top Cited Papers
CROME: Contract-Based Robotic Mission Specification
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider
Citations: 7 • 2020
An intent-specifications model for a robotic software control system
Israel Navarro, Kristina Lundqvist, Nancy G. Leveson
Citations: 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
Citations: 4 • 2014