EPSRC logo
Researcher Details
 
Name: Dr U Ultes-Nitsche
Organisation: University of Southampton
Department: Electronics and Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
GR/N23684/01 IMPROVING THE PRACTICALITY OF AUTOMATED VERIFICATION (IPAV)(P)
GR/M91013/01 ABCD: AUTOMATED VALIDATION OF BUSINESS CRITICAL SYSTEMS WITH COMPONENT BASED DESIGNS(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator