Design of operating systems using the F.D.T. ESTELLE.

Oliverio González Victor G. García Miguel Riesco Enrique Vázquez

Published in: FORTE (1994)

Keyphrases

operating system
computer systems
application programs
memory management
operating environment
user interface
virtual machine
database
source code
web applications
linux kernel
discretionary access control