Sfoglia per Rivista  

Opzioni
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

Mostrati risultati da 4 a 10 di 10
Titolo Data di pubblicazione Autore(i) Tipo File
On relating functional specifications to architectural specifications: a case study 1-gen-2006 Corradini, Flavio; Inverardi, P.; Wolf, A. Articolo
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 1-gen-2015 Latella, Diego; Loreti, Michele; Massink, Mieke Articolo
PiDuce – a project for experimenting Web services technologies 1-gen-2009 Samuele, Carpineti; Cosimo, Laneve; Padovani, Luca Articolo
Programming interactions in collective adaptive systems by relying on attribute-based communication 1-gen-2020 Abd Alrahman, Y.; De Nicola, R.; Loreti, M. Articolo
Provably correct implementation of the AbC calculus 1-gen-2021 De Nicola, R.; Duong, T.; Loreti, M. Articolo
Static Analysis of Real-Time Component-based System Configurations 1-gen-2003 Corradini, Flavio; Inverardi, P.; Attanasio, C. Articolo
Using formal methods to develop WS-BPEL applications 1-gen-2012 A., Lapadula; R., Pugliese; Tiezzi, Francesco Articolo
Mostrati risultati da 4 a 10 di 10
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