- Tytuł:
- From workflow design patterns to logical specifications
- Autorzy:
- Klimek, R.
- Data publikacji:
- 2013
- Słowa kluczowe:
-
formal verification
temporal logic
deduction
semantic tableaux
design patterns
generating logical specification
weryfikacja formalna
logika temporalna
dedukcja
tablice semantyczne
wzorce projektowe
generowanie specyfikacji logicznej - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł