- Tytuł:
- An automatic formal verification tool for schematic-level design of an electrical project
- Autorzy:
- Szelest, M.
- Data publikacji:
- 2014
- Słowa kluczowe:
-
Electrical Fault Detection
Formal Verification
Design Rule Checking
Electrical Rule Checking
wykrywanie błędów
weryfikacja formalna
sprawdzanie reguł projektowych
sprawdzanie reguł elektrycznych - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł