Published July 22, 2023
                      
                       | Version 1.1
                    
                    
                      
                        
                          Other
                        
                      
                      
                        
                          
                        
                        
                          Open
                        
                      
                    
                  Reference Table Formal Methods and Cost-Benefit Analysis
Description
A table summarizing the main research efforts where formal methods achievements have been linked to cost-benefit analysis.
Files
      
        Table_reference_FM_CBA.pdf
        
      
    
    
      
        Files
         (185.3 kB)
        
      
    
    | Name | Size | Download all | 
|---|---|---|
| 
            
            md5:f022c098a03d3f56d32e6ac1c64595c5
             | 
          185.3 kB | Preview Download |