C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Guest Editorial: Special issue on formal modeling and analysis of timed systems.
Marco Paolieri
Sriram Sankaranarayanan
Enrico Vicario
Published in:
Real Time Syst. (2017)
Keyphrases
</>
special issue
ecml pkdd
ai edam
data analysis
international journal
applied intelligence
management system
statistical analysis
formal analysis
artificial intelligence
distributed systems
retrieval systems
finite state machines
formal methods
data driven approaches