E. Thomas Schubert · 4 obras en el catálogoObrasFFormal mechanization of device interactions with a process aFormal mechanization of device interactions with a process algebraFFormal verification of a set of memory management unitsFormal verification of a set of memory management unitsTTowards composition of verified hardware devicesTowards composition of verified hardware devicesHHigher Order Logic Theorem Proving and Its ApplicationsHigher Order Logic Theorem Proving and Its Applications
FFormal mechanization of device interactions with a process aFormal mechanization of device interactions with a process algebra
FFormal verification of a set of memory management unitsFormal verification of a set of memory management units
HHigher Order Logic Theorem Proving and Its ApplicationsHigher Order Logic Theorem Proving and Its Applications