Login / Signup
Formal software verification for the migration of embedded code from single- to multicore systems.
Thorsten Ehlers
Dirk Nowotka
Philipp Sieweck
Johannes Traub
Published in:
Software Engineering (2014)
Keyphrases
</>
intelligent systems
source code
computer systems
complex systems
distributed systems
embedded systems
real time
databases
data mining
information systems
knowledge base
multimedia
learning environment
software engineering
formal methods