Dorigatti, Michele
 Distribuzione geografica
Continente #
NA - Nord America 85
EU - Europa 49
AS - Asia 25
Continente sconosciuto - Info sul continente non disponibili 4
Totale 163
Nazione #
US - Stati Uniti d'America 82
DE - Germania 14
UA - Ucraina 10
CN - Cina 9
FI - Finlandia 7
HK - Hong Kong 6
EU - Europa 4
IE - Irlanda 4
IN - India 4
IT - Italia 4
RU - Federazione Russa 4
SE - Svezia 4
CA - Canada 3
VN - Vietnam 3
GB - Regno Unito 1
JP - Giappone 1
NL - Olanda 1
PK - Pakistan 1
SG - Singapore 1
Totale 163
Città #
Jacksonville 22
Chandler 19
Hong Kong 6
Ashburn 4
Beijing 4
Helsinki 4
Wilmington 4
Boardman 3
Dearborn 3
Dong Ket 3
Dublin 3
Kronberg 3
Ottawa 3
Ann Arbor 2
Collepasso 2
San Francisco 2
Borgo San Lorenzo 1
Comano 1
Duncan 1
Fuzhou 1
Guangzhou 1
Karlsruhe 1
Munich 1
New York 1
Phoenix 1
Saint Petersburg 1
Shanghai 1
Singapore 1
Tokyo 1
Wuhan 1
Zhengzhou 1
Totale 102
Nome #
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 62
The nuXmv Symbolic Model Checker 62
OCRA: A tool for checking the refinement of temporal contracts 42
Totale 166
Categoria #
all - tutte 1.112
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.112


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202031 0 0 0 0 5 1 6 0 3 7 5 4
2020/202125 3 0 3 0 3 1 5 1 0 6 0 3
2021/202211 0 0 1 4 0 0 0 2 1 0 1 2
2022/202339 1 2 2 4 4 9 0 1 13 2 1 0
2023/202422 5 1 2 1 0 4 1 3 2 0 0 3
2024/20259 0 1 5 2 1 0 0 0 0 0 0 0
Totale 166