Pages that link to "Item:Q264193"

The following pages link to Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193):

Displaying 1 item.

• Verifying a scheduling protocol of safety-critical systems (Q2424721) (← links)