Transient analysis of non-Markovian models using stochastic state classes von Horváth, András, Paolieri, Marco, Ridi, Lorenzo, Vicario, Enrico

Volltext

Oris: a tool for modeling, verification and evaluation of real-time systems von Bucci, Giacomo, Carnevali, Laura, Ridi, Lorenzo, Vicario, Enrico

Volltext

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems von Carnevali, L., Ridi, L., Vicario, E.

Volltext

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle von Carnevali, L., Ridi, L., Vicario, E.

Volltext

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm : ALGORITHMS FOR TODAY'S PRACTIOTIONER von RIDI, Lorenzo, TORRINI, Jacopo, VICARIO, Enrico

Volltext

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm von Ridi, L., Torrini, J., Vicario, E.

Volltext

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models von Carnevali, Laura, Ridi, Lorenzo, Vicario, Enrico

Volltext

JOB SCHEDULER FOR ELECTROMECHANICAL SYSTEM FOR BIOLOGICAL ANALYSES von CARIGNANO, Andrea, VICARIO, Enrico, TORRINI, Jacopo, RIDI, Lorenzo

Volltext bestellen

Job scheduler for electromechanical system for biological analyses von Vicario Enrico, Torrini Jacopo, Ridi Lorenzo, Carignano Andrea

Volltext bestellen

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models von Carnevali, L., Ridi, L., Vicario, E.

Volltext bestellen

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers von Horvath, A., Paolieri, M., Ridi, L., Vicario, E.

Volltext bestellen

"método de agendamento, sistema para agendar a execução de vários trabalhos não preemptivos e sistema eletromecânico para executar análises biológicas" von ENRICO VICARIO, JACOPO TORRINI, LORENZO RIDI, ANDREA CARIGNANO

Volltext bestellen

Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes von Horváth, András, Ridi, L, Vicario, E

Volltext bestellen

JOB SCHEDULER FOR ELECTROMECHANICAL SYSTEM FOR BIOLOGICAL ANALYSES von CARIGNANO, Andrea, VICARIO, Enrico, TORRINI, Jacopo, RIDI, Lorenzo

Volltext bestellen

JOB SCHEDULER FOR ELECTROMECHANICAL SYSTEM FOR BIOLOGICAL ANALYSES von RIDI LORENZO, VICARIO ENRICO, TORRINI JACOPO, CARIGNANO ANDREA

Volltext bestellen

Programador de trabajos para sistema electromecánico de análisis biológicos von CARIGNANO, Andrea, VICARIO, Enrico, TORRINI, Jacopo, RIDI, Lorenzo

Volltext bestellen

JOB SCHEDULER FOR ELECTROMECHANICAL SYSTEM FOR BIOLOGICAL ANALYSES von TORRINI, JACOPO, RIDI, LORENZO, CARIGNANO, ANDREA, VICARIO, ENRICO

Volltext bestellen

Job scheduler for electromechanical system for biological analysis von TORRINI, JACOPO, RIDI, LORENZO, CARIGNANO, ANDREA, VICARIO, ENRICO

Volltext bestellen

agendador de trabalhos para sistema eletromecânico de análises biológicas von ENRICO VICARIO, JACOPO TORRINI, LORENZO RIDI, ANDREA CARIGNANO

Volltext bestellen

agendador de trabalhos para sistema eletromecânico de análises biológicas von ENRICO VICARIO, JACOPO TORRINI, LORENZO RIDI, ANDREA CARIGNANO

Volltext bestellen