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

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 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

On the verification of parametric and real-time systems 

Di Giampaolo, Barbara (2011-05-06)
Parametric and Real-Time Systems play a central role in the theory underlying the Verification and Synthesis problems. Real-time systems are present everywhere and are used in safety critical applications, such as flight ...
EleA themes by Ugsiba
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsBy Submit Date

My Account

LoginRegister

Discover

Author
Di Giampaolo, Barbara (1)
Subject
INF/01 INFORMATICA (1)
Model checking (1)
Synthesis (1)
Temporal logics (1)
... View MoreDate Issued2011 (1)Has File(s)Yes (1)
EleA themes by Ugsiba