• English
    • italiano
  • italiano 
    • English
    • italiano
  • Login
Cerca 
  •   DSpace Home
  • Cerca
  •   DSpace Home
  • Cerca
JavaScript is disabled for your browser. Some features of this site may not work without it.

Cerca

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Items 1-1 di 1

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Model Checking Cyber-Physical Systems 

Driouich, Youssef (2019-03-12)
Cyber-Physical Systems (CPSs) are integrations of computation with physical processes. Applications of CPS arguably have the potential to overshadow the 20-th century IT revolution. Nowadays, CPSs application to many sectors ...
EleA themes by Ugsiba
 

 

Ricerca

Tutto DSpaceArchivi & CollezioniData di pubblicazioneAutoriTitoliSoggettiData di immissione

My Account

LoginRegistrazione

Discover

AutoreDriouich, Youssef (1)Soggetto
Automatic verification (1)
Cyber-physical systems (1)
Formal-methods (1)
INF/01 INFORMATICA (1)
... View MoreDate Issued
2019 (1)
Has File(s)
Yes (1)
EleA themes by Ugsiba