Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems.
Iryna ZaretskaGalyna ZholtkevychGrygoriy ZholtkevychFrédéric MalletPublished in: ICTERI (2013)
Keyphrases
- computational model
- high level
- input data
- real time embedded systems
- case study
- formal model
- experimental data
- petri net
- colored petri nets
- state machine
- empirical data
- neural network model
- sensitivity analysis
- conceptual model
- mathematical model
- information retrieval
- theoretical framework
- theoretical analysis
- statistical analysis
- management system
- multi agent systems
- information systems