Number of items at this level: 5.
Fitzgerald, John S. and Larsen, Peter Gorm and Pierce, Ken G and Verhoef, Marcel and Wolff, Sune
(2010)
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.
In: Integrated Formal Methods iFM 2010, 11-14 october 2010, Nancy, France.
(In Press)
Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, A.
(2010)
Patterns for Modelling Time and Consistency in Business Information Systems.
In:
15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010.
IEEE Computer Society.
Wright, Stephen
A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor.
[DEPLOY Associate Item]
Mazzara, Manuel and Bhattacharyya, Anirban
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems.
Proceedings of DEPEND 2010
.
Mazzara, Manuel and Bhattacharyya, Anirban
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems.
Technical Report.
Newcastle University.
This list was generated on Fri Feb 10 07:49:05 2012 GMT.
