Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

Formal Design of Ambient Intelligence Applications

Articolo
Data di Pubblicazione:
2010
Abstract:
The design of ambient intelligence applications in critical systems requires rigorous software-engineering-oriented approaches. Drawing on practical experience, the authors propose a set of formal tools and a specification process for AmI design activities and artifacts.
Tipologia CRIS:
01.01 Articolo in rivista
Elenco autori:
DE PIETRO, Giuseppe; Coronato, Antonio
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/119004
Pubblicato in:
COMPUTER
Journal
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)