To access this element change to forms mode OFF

Keyword Search

Search Results

Showing 1-6 of 6 records

Design and verification of correct, efficient and secure concurrent systems

GA ID:
GA29121
Varied By:
GA29121-V5
Agency:
Australian Research Council
Publish Date:
18-Dec-2018
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
30-Jun-2019 to 31-Dec-2023
Value (AUD):
$460,000.00
Recipient Name:
The University of Queensland
Last Updated:
18-Dec-2018 3:31 pm (ACT Local Time)
 
Full Details

Design and verification of correct, efficient and secure concurrent systems

GA ID:
GA29121-V3
Varies:
GA29121
Agency:
Australian Research Council
Publish Date:
18-Dec-2018
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
30-Jun-2019 to 30-Jun-2022
Value (AUD):
$460,000.00
Recipient Name:
The University of Queensland
Last Updated:
20-Oct-2021 3:29 pm (ACT Local Time)
 
Full Details

Design and verification of correct, efficient and secure concurrent systems

GA ID:
GA29121-V1
Varies:
GA29121
Agency:
Australian Research Council
Publish Date:
18-Dec-2018
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
30-Jun-2019 to 30-Jun-2022
Value (AUD):
$460,000.00
Recipient Name:
The University of Queensland
Last Updated:
9-Jul-2019 2:04 pm (ACT Local Time)
 
Full Details

Design and verification of correct, efficient and secure concurrent systems

GA ID:
GA29121-V4
Varies:
GA29121
Agency:
Australian Research Council
Publish Date:
18-Dec-2018
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
30-Jun-2019 to 31-Dec-2022
Value (AUD):
$460,000.00
Recipient Name:
The University of Queensland
Last Updated:
21-Jun-2022 3:13 pm (ACT Local Time)
 
Full Details

Design and verification of correct, efficient and secure concurrent systems

GA ID:
GA29121-V2
Varies:
GA29121
Agency:
Australian Research Council
Publish Date:
18-Dec-2018
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
30-Jun-2019 to 30-Jun-2022
Value (AUD):
$506,000.00
Recipient Name:
The University of Queensland
Last Updated:
2-Aug-2021 9:22 am (ACT Local Time)
 
Full Details

Design and verification of correct, efficient and secure concurrent systems

GA ID:
GA29121-V5
Varies:
GA29121
Agency:
Australian Research Council
Publish Date:
18-Dec-2018
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
30-Jun-2019 to 31-Dec-2023
Value (AUD):
$460,000.00
Recipient Name:
The University of Queensland
Last Updated:
17-May-2023 8:28 am (ACT Local Time)
 
Full Details