论文信息 - Measurement and simulation based techniques for real-time systems analysis - 字舞流文

Measurement and simulation based techniques for real-time systems analysis

Rigorous methods for design and implementation of safety critical real-time systems are vital to avoid loss of human lives and/or severe economic losses. Unfortunately, many of these systems are de ...

Markus Lindgren | M. Lindgren

[1] Magnus Larsson. Applying Configuration Management Techniques to Component-based Systems , 2000 .

[2] Jan Nyström,et al. A formalisation of the ITU-T Intelligent Network standard , 2000 .

[3] Fredrik Larsson. Efficient implementation of model-checkers for networks of timed automata , 2000 .

[4] Susanne Remle. Modeling and parameter estimation of the diffusion equation , 2000 .

[5] Fredrik Edelvik. Finite volume solvers for the Maxwell equations in time domain , 2000 .

[6] Gustaf Naeser,et al. A flexible framework for detection of feature interactions in telecommunication systems , 2000 .