Battle Control & Repair. The section relates mostly to damage control during battle. Currently if you have had crew casualties, your ship is un-repairable, even after the battle when time is not so pressing. Can you repair a broken (not destroyed) JD after a battle to facilitate limping to the nearest port.
This is answered in the Field Repair rule in TCS (p. 34), but the answer to your question is if you cannot bring your crew up to full strength, you're basically screwed.