E. Thomas Schubert

No bio available. Add one in Open Library.

Books by E. Thomas Schubert (50 max)

+ shelf+ list

Towards composition of verified hardware devices

1991

E. Thomas Schubert

+ shelf+ list

Formal verification of a set of memory management units

1992

E. Thomas Schubert

+ shelf+ list

Formal mechanization of device interactions with a process algebra

1992

E. Thomas Schubert

+ shelf+ list

Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

2014

E. Thomas Schubert, Phillip J. Windley, James Alves-Foss