Filter
Reset all

Subjects

Content Types

Countries

API

Data access

Data access restrictions

Database access

Data licenses

Data upload

Data upload restrictions

Enhanced publication

Institution responsibility type

Institution type

Keywords

PID systems

Provider types

Quality management

Repository languages

Software

Repository types

  • * at the end of a keyword allows wildcard searches
  • " quotes can be used for searching phrases
  • + represents an AND search (default)
  • | represents an OR search
  • - represents a NOT operation
  • ( and ) implies priority
  • ~N after a word specifies the desired edit distance (fuzziness)
  • ~N after a phrase specifies the desired slop amount
  • 1 (current)
Found 3 result(s)

Spec Patterns

Specification Patterns

Subject(s)
Content type(s)
Country
Specification Patterns is an online repository for information about property specification for finite-state verification. The intent of this repository is to collect patterns that occur commonly in the specification of concurrent and reactive systems.

Haldimand County Open Data

Subject(s)
Content type(s)
Country
This is Haldimand County's public platform for exploring and downloading open data, discovering and building apps, and engaging to solve important local issues. You can analyze and combine Open Datasets using maps, as well as develop new web and mobile applications.

Town of Canmore Open Data

Subject(s)
Content type(s)
Country
Town of Canmore Open Data Catalogue is a publicly available data sharing in ArcGIS Online portal where anyone can access and utilize data relating to the Town of Canmore, Alberta, Canada. You can browse, search, preview, and download a variety of municipal geospatial datasets.