Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (1020)
Z. Andrews, J. Fitzgerald, M. Verhoef, Zoe Andrews, John Fitzgerald, Marcel Verhoef, ...
We propose an approach to discrete event and continuous time co-simulation that permits the analysis of alternative fault-tolerance strategies in formal models of embedded systems at early design...