Temporal bounds verication of the STIMAP protocol.
Karen Godary-DejeanDavid AndreuRomain RichardPublished in: RTNS (2011)
Keyphrases
- upper bound
- spatio temporal
- temporal constraints
- lightweight
- lower bound
- upper and lower bounds
- spatial and temporal
- lower and upper bounds
- temporal analysis
- temporal data
- temporal patterns
- temporal aspects
- communication protocol
- temporal information
- network protocols
- generalization bounds
- coloured petri nets
- temporal dimension
- data sets
- temporal relations
- formal analysis
- average case
- temporal databases
- temporal reasoning
- error bounds
- space time
- neural network