Craig, I.

Person

Browse all works related to Craig, I..

"3" Result

In this book state transitions are used as a formal technique for the specification of virtual machines throughout and - in addition - transitions and state transitions relating to the general operation are included for specification of the virtual machine for the event-based sy…

In this book state transitions are used as a formal technique for the specification of virtual machines throughout and - in addition - transitions and state transitions relating to the general operation are included for specification of the virtual machine for the event-based sy…