1
Published 2006
Table of Contents: ... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...
View full text
Electronic eBook