%0 Conference Proceedings
%F noguchi:hal-03777464
%A Noguchi, R.
%A Sankur, O.
%A Jéron, T.
%A Markey, N.
%A Mentré, D.
%T {Repairing Real-Time Requirements}
%B {ATVA 2022 - The 20th International Symposium on Automated Technology for Verification and Analysis}
%C Beijing, China
%U https://hal.archives-ouvertes.fr/hal-03777464/file/atva2022-NSJMM.pdf
%8 October
%D 2022