C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning.
Asier Larrucea
Irune Agirre
Carlos Fernando Nicolás
Jon Pérez
Mikel Azkarate-askasua
Ton Trapman
Published in:
FDL (2015)
Keyphrases
</>
temporal information
temporal constraints
temporal reasoning
distributed systems
spatial and temporal
temporal relations
information systems
conditional independence
image segmentation
temporal dimension
data sets
temporal databases
temporal evolution
temporal analysis
temporal behavior