This paper describes an evaluation of a neural network technique for modelling fuel spray penetration in the cylinder of a diesel internal combustion engine. The model was implemen...
Simon D. Walters, Shaun H. Lee, Cyril Crua, Robert...
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...