1 formal-method Fellowship positions at University of Minho

Research Fellowship; 1 vacancy - PT-SMART-RETAIL_BI_2025_03_CALG

University of Minho | Portugal | 3 months ago

the following formula: MC = (A.1 x 0.5) +(A.2 x 0.4) +(A.3 x 0.1) Where A.1 = (A.1.1 × 0.5) + (A.1.2 × 0.5) If the jury does not consider itself able to decide using the method indicated in A (AM), it may choose