STRL STRL


Projects

Trust Management in Collaborative Systems.
    
DIF-DTC
 
Trust Management Systems in Network of
    Networks.
NATO
 
The De Montfort Creativity Assistant.
    
IOCT
 
FermaT - UML.
    
SML
 
FermaT - DOC.
    
SML
 
FermaT Integrated Platform.
    
SML
 
Secure and Trusted Agents for
    Data and Information Fusion.
DIF-DTC
 
Re-engineering Large programs
    with Program Transformations.
EPSRC
 
Program Migration.
    
SML
 
A unified mechanism for information system
     design.
EPSRC
 
Compositional Methods for
    Hardware/Software Co-Design.
EPSRC
 
Safe and dependable IT.
    
EPSRC
 
A Compositional Approach to the Specification
    of Systems using ITL and Tempura.
EPSRC
 
Migrate legacy systems to CORBA.
 
Microsystems
 







Oct 11 2012
Home | Training | Research | Members | About | News