Formal verification of a small real-time operating system [article]

Mareike Dorothee Schmidt, Universität Des Saarlandes, Universität Des Saarlandes
2011
doi:10.22028/d291-26028 fatcat:qmi7knrokbdqxjzahukbnyvzpu