Found 2 document(s)
Page 1 of 1
-
In this thesis, we are interested in efficiently verifying timed systems modelled by time Petri nets (TPNs) and also in synthesising parameters in their parametric extension, the parametric time Petri nets (PTPNs). First...
-
Directly characterising the first generations of stars in distant galaxies is a key quest of observational cosmology. We present a case study of ID53 at z = 4.77, the UV-brightest (but Lā) star-forming galaxy at z > 3 in...