A Framework for Formal Specification of Embedded Systems.

Frantisek Bures Ondrej Rysavý Frantisek Scuglik Miroslav Svéda

Published in: ECBS (2005)

Keyphrases

embedded systems
formal specification
embedded devices
low cost
processing power
fine grained
hw sw
flash memory
specification language
specification languages
resource limited
embedded software
real time image processing
artificial intelligence
computing power
model checking
software systems
knowledge base