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