단시간근로자 연차휴가 질문

안녕하세요.

저희는 일 4시간, 주 소정근로시간 24시간인 단시간근로자 분들이 약 30명 정도 근무중입니다.

이 분들 모두 정규직으로 4대보험 적용을 받으며 근무를 하고 계신데요..

연차관련하여 1년 미만 근로자는 한달 만근 시 익일에 1일의 연차유급휴가가 발생하고 있습니다.

그렇다면 1년 이상 근로자는 일반 전일제 근로자와 같이 15일의 연차유급휴가가 발생하는 것이 맞는 것인가요?

아니면 전일제 근로자의 절반인 일 4시간 근로를 하기에 7.5일이 발생하는 것이 맞는 것인가요?

지금까지는 15일로 진행을 해왔습니다. 어차피 연차 1일이 4시간짜리 휴가로 계산이 되어 적합하다고 생각하였는데..

근로시간이 절반이니 연차발생도 절반이여야 하는 것이 아니냐는 상사의 물음에 여쭤봅니다.