C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modeling Non-deterministic C Code with Active Objects.
Nathan Wasser
Asmae Heydari Tabar
Reiner Hähnle
Published in:
FSEN (2019)
Keyphrases
</>
website
d objects
moving objects
object recognition
real time
source code
object classes
object level
modeling method
data structure
video sequences
multiscale
relational databases
attribute values
object segmentation
complex scenes
real world objects