Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
English
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Pubblicazioni
Nuvole
rivista : IEEE Transactions on Software Engineering
rivista : IEEE Transactions on Software Engineering
8 articles
Verifying the Evolution of Probability Distributions Governed by a DTMC
(2011) —
YoungMin Kwon, Gul Agha
Integrating Software Models and Platform Models for Performance Analysis
(2007) —
Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
(2006) —
Christine Julien, Gruia-Catalin Roman
Simulation-verification: biting at the state explosion problem
(2001) —
Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
Hierarchical simulation approach to accurate fault modeling for system dependability evaluation
(1999) —
Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
Modeling and evaluating design alternatives for an on-line instrumentation system: a case study
(1998) —
Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
Understanding Code Mobility
(1998) —
Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Specification and Analysis of System Architecture Using Rapide
(1995) —
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
[
nuvola riviste
/ pubblicazioni ]