Sfoglia per Rivista  SCIENCE OF COMPUTER PROGRAMMING

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 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) Tipo File
Adaptability checking in complex systems 1-gen-2016 Merelli, Emanuela; Paoletti, Nicola; Tesei, Luca Articolo
A Formal Approach to Modelling and Verification of Business Process Collaborations 1-gen-2018 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Articolo
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
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 1 a 8 di 8
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