C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems.
Frédéric Boniol
Michaël Lauer
Claire Pagetti
Jérôme Ermont
Published in:
NASA Formal Methods (2013)
Keyphrases
</>
data analysis
statistical analysis
image analysis
real time
information systems
artificial neural networks
knowledge based systems
information retrieval
social networks
expert systems
distributed systems
collaborative learning
intelligent systems