Penn State Data Commons supports data sharing, discovery, and archiving, with tools to find data and share research datasets.
Spec Patterns
vsopen data portal of SÚKL
Spec Patterns vs open data portal of SÚKL
How do Spec Patterns and open data portal of SÚKL compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Spec Patterns | open data portal of SÚKL |
|---|---|---|
| What it is | Spec Patterns collects reusable patterns for specifying properties in finite-state verification, with explanations and examples. | The Czech State Institute for Drug Control’s open data page provides technical information and contact details about its datasets and portal. |
| Website | ||
| Type | Website | Website |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Web | Web |
| Open source | Not stated | Not stated |
| Language | — | Czech |
| Alternatives |
Other options to consider
Sites similar to both Spec Patterns and open data portal of SÚKL.
Maine GeoLibrary’s portal is built on ArcGIS Hub and provides a new home for the state’s geospatial resources.
Germany’s animal disease information system records disease occurrences reported by responsible state authorities.
Volare is Vorarlberg’s state library repository for offering and preserving historical photographs and other digital objects.