Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 13 di 13
Titolo Data di pubblicazione Autore(i) File
Automatic Code Generation from Real-Time Systems Specifications 2009 L. Carnevali; D. D'Amico; L. Ridi; E. Vicario
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems 2009 L. Carnevali; L. Ridi; E. Vicario
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems 2010 G. Bucci; L. Carnevali; L. Ridi; E. Vicario
Transient analysis of generalised semi-Markov processes using transient stochastic state classes 2010 A. Horváth; L. Ridi; E. Vicario
Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions 2010 A. Horváth; L. Ridi; E. Vicario
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models 2011 L. Carnevali; L. Ridi; E. Vicario
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle 2011 L. Carnevali; L. Ridi; E. Vicario
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models 2011 L. Carnevali; L. Ridi; E. Vicario
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers 2011 Andras Horvath; Marco Paolieri; Lorenzo Ridi; Enrico Vicario
Job scheduler for electromechanical system for biological analyses 2012 Enrico Vicario, Lorenzo Ridi, Andrea Carignano, Jacopo Torrini
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm 2012 Lorenzo Ridi;Jacopo Torrini;Enrico Vicario
Transient analysis of non-Markovian models using stochastic state classes 2012 András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems 2013 Laura Carnevali;Lorenzo Ridi;Enrico Vicario
Mostrati risultati da 1 a 13 di 13
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