INVERARDI, Nicola
14  Ergebnisse:
Personensuche X
?
 
?
6

Equational reasoning about LOTOS specifications : a rewr..:

, In: Proceedings of the 6th international workshop on Software specification and design,
 
?
8

On-the-Fly Dependable Mediation between Heterogeneous Netwo..:

Bertolino, Antonia ; Calabrò, Antonello ; Di Giandomenico, Felicita...
info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT.  , 2012
 
?
9

Transformation rules:

De Nicola, Rocco ; Fantechi, Alessandro ; Gnesi, Stefania..
Chapter 15 of the task 1.2 third deliverable. Internal note IEI-B4-31, 1992..  , 1992
 
1-14