C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Deriving concurrent control software from behavioral specifications.
Ganesh Ramanathan
Benjamin Morandi
Scott West
Sebastian Nanz
Bertrand Meyer
Published in:
IROS (2010)
Keyphrases
</>
control software
control system
high level
delay insensitive
concurrent programs
human behavior
real world
specification language
formal specification
database
control algorithm
human computer interaction
search algorithm
formal verification
asynchronous circuits
mutual exclusion
artificial intelligence
data mining