A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems.

Published in: J. Syst. Softw. (2018)

Keyphrases

operating system
behavioral patterns
computer systems
database
social networks
databases
database systems
distributed systems
security mechanisms
behavior patterns