FORMAL DESCRIPTION OF LOGIC SYSTEMS FOR FAULTS DETECTOR AND LOCATOR

Bibliographic Details
Main Authors: Antalík, Rastislav (Author), Beneš, Branislav (Author), Bača, Ján (Author)
Format: Article
Language:English