Naviga IRIS

Sfoglia per Serie Electronic Notes in Theoretical Computer Science

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 1 a 8 di 8

2004 Gnesi S.; Lenzini G.; Martinelli F.

2008 M H, Ter Beek; Gadducci, F; Janssens, D

2006 Martinelli F.; Petrocchi M.; Gorrieri R.

2009 De Nicola, R; Latella, D; Loreti, M; Massink, M

2005 Maurice H. ter Beek; Mieke Massink; Diego Latella; Stefania Gnesi; Alessandro Forghieri; Maurizio Sebastianis

2006 Bistarelli, S; Bella, G; Foley, S N

2005 Ter Beek, Mh; Lenzini, G; Petrocchi, M

2006 De Nicola, R.; Katoen, J. P.; Latella, D.; Massink, M.

Titolo	Data di pubblicazione	Autore(i)
Applying generalized non deducibility on compositions (GNDC) approach in dependability	1-gen-2004	Gnesi S.; Lenzini G.; Martinelli F.
A Calculus for Team Automata	1-gen-2008	M H, Ter Beek; Gadducci, F; Janssens, D
A Formalization of Credit and Responsibility Within the GNDC Schema	1-gen-2006	Martinelli F.; Petrocchi M.; Gorrieri R.
MarCaSPiS: a Markovian extension of a Calculus for Services	1-gen-2009	De Nicola, R; Latella, D; Loreti, M; Massink, M
Model checking publish/subscribe notification for thinkteam	1-gen-2005	Maurice H. ter Beek; Mieke Massink; Diego Latella; Stefania Gnesi; Alessandro Forghieri; Maurizio Sebastianis
Soft Constraints for Security	1-gen-2006	Bistarelli, S; Bella, G; Foley, S N
Team automata for security - a survey	1-gen-2005	Ter Beek, Mh; Lenzini, G; Petrocchi, M
Towards a logic for performance and mobility	1-gen-2006	De Nicola, R.; Katoen, J. P.; Latella, D.; Massink, M.

Mostrati risultati da 1 a 8 di 8