"Licensing Reliable Embedded Software for Safety-Critical Applications."

Francesca Saglietti (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics