Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Coto, Alex
5  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

A Prototype for Data Race Detection in CSeq 3: (Competition..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Coto, Alex ; Inverso, Omar ; Sales, Emerson. - p. 413-417 , 2022
Link: https://doi.org/10.1007/..
 
?
2

On Formal Choreographic Modelling: A Case Study in EU Busin..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Coto, Alex ; Barbanera, Franco ; Lanese, Ivan.. - p. 205-219 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Choreographic Development of Message-Passing Applications: ..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio - p. 20-36 , 2020
Link: https://doi.org/10.1007/..
 
?
4

On Testing Message-Passing Components:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio - p. 22-38 , 2020
Link: https://doi.org/10.1007/..
 
?
5

TSTM: A Model to Predict Topics' Popularity in News Provide..:

, In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications; Lecture Notes in Computer Science,
Prado-Romero, Mario Alfonso ; Celi, Alessandro ; Stilo, Giovanni. - p. 96-106 , 2019
Link: https://doi.org/10.1007/..
 
1-5