Login / Signup
Towards Formal Description of Standards for Automotive Operating Systems.
Hirokazu Yatsu
Takahiro Ando
Weiqiang Kong
Kenji Hisazumi
Akira Fukuda
Toshiaki Aoki
Kokichi Futatsugi
Published in:
ICST Workshops (2013)
Keyphrases
</>
operating system
computer systems
virtual machine
web services
memory management
linux kernel
virtual memory
windows xp
metadata
open source
distributed systems
database management systems
security mechanisms
application programs
multi tasking