- Tytuł:
-
An automatic formal verification tool for schematic-level design of an electrical project
Narzędzie do automatycznej weryfikacji formalnej schematu ideowego sprawdzające poprawność schematu już we wczesnych etapach procesu projektowego - Autorzy:
- Szelest, M.
- Data publikacji:
- 2014
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
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:
- Biblioteka Nauki
Artykuł