OS-Aware Interaction Model for the Verification of Multitasking Embedded Software.

Published in: IEEE Access (2020)

Keyphrases

embedded software
interaction model
virtual environment
embedded systems
development projects
software architecture
user interface
open source
mixed initiative
sequence diagrams
information systems
agent interactions