STFC eData is a digital archive that collects, preserves, and provides research data produced or collected by STFC staff.
Spec Patterns
vsAUBScholarWorks
Spec Patterns vs AUBScholarWorks
How do Spec Patterns and AUBScholarWorks compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Spec Patterns | AUBScholarWorks |
|---|---|---|
| What it is | Spec Patterns collects reusable patterns for specifying properties in finite-state verification, with explanations and examples. | AUB ScholarWorks collects, preserves, and distributes digital materials through American University of Beirut repositories. |
| Website | ||
| Type | Website | Website |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Web | Web |
| Open source | Not stated | Not stated |
| Language | — | English |
| Alternatives |
Other options to consider
Sites similar to both Spec Patterns and AUBScholarWorks.
DIRENO is Lower Austria's scholarly repository for collecting and preserving digital assets, including current and historical regional literature.