Formal Specification Scanning Streams using RAISE

W. Dosch, D. Riesco, M. Beron, G. Montejano

Original languageEnglish
Pages1011-1013
Number of pages3
Publication statusPublished - 2004
EventInnovations Through Information Technology 2004 - New Orleans, United States
Duration: 23.05.2004 → 26.05.2004

Conference

ConferenceInnovations Through Information Technology 2004
Country/TerritoryUnited States
CityNew Orleans
Period23.05.04 → 26.05.04

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

  • SDG 9 - Industry, Innovation, and Infrastructure

Cite this