Sfoglia per Autore  

opzioni
Mostrati risultati da 21 a 40 di 72
Titolo Data di pubblicazione Autore(i) File
Timed Automata with Data Structures for Distributed Systems Design and Analysis 1-gen-2005 Lanotte, Ruggero; Maggiolo, Schettini; Troina, A.
Monotonic Hybrid Systems 1-gen-2005 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.
Automatic Analysis of a Non-Repudiation Protocol 1-gen-2005 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Probabilistic Congruence for Generative Semistochastic Processes 1-gen-2005 Lanotte, Ruggero; Tini, Simone
Taylor Approximation for Hybrid Systems 1-gen-2005 Lanotte, Ruggero; Tini, Simone
A Classification of Time and/or Probability Dependent Security Properties 1-gen-2006 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 1-gen-2006 Lanotte, Ruggero; A., MAGGIOLO SCHETTINI; P., Milazzo; A., Troina
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays. 1-gen-2007 Lanotte, Ruggero
Distributed time-asynchronous automata 1-gen-2007 Dima, C; Lanotte, Ruggero
Hiding information in multi level security systems 1-gen-2007 Beauquier, D.; Lanotte, R.
Parametric probabilistic transition systems for system design and analysis 1-gen-2007 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Troina, A.
Hiding Information in Multi Level Systems 1-gen-2007 Beauquier, D; Lanotte, Ruggero
Taylor Approximation for Hybrid Systems 1-gen-2007 Lanotte, Ruggero; Tini, Simone
Complexity and Succinctness Issues for Linear-Time Hybrid Logics 1-gen-2008 L., Bozzelli; Lanotte, Ruggero
Design and Verification of Long-Running Transactions in a Timed Framework 1-gen-2008 Lanotte, Ruggero; A., MAGGIOLO SCHETTINI; P., Milazzo; A., Troina
A Decidable Probability Logic for Timed Probabilistic Systems 1-gen-2009 Lanotte, Ruggero; Beauquier, D.
Security Policies Enforcement Using Finite Edit Automata 1-gen-2009 Beauquier, D.; Cohen, J.; Lanotte, Ruggero
Removing All Silent Transitions from Timed Automata 1-gen-2009 Dima, C.; Lanotte, Ruggero
Probabilistic Bisimulation as a Congruence 1-gen-2009 Lanotte, Ruggero; Tini, Simone
Reachability results for timed automata with unbounded data structures 1-gen-2010 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Mostrati risultati da 21 a 40 di 72
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile