MAZZANTI, FRANCO
 Distribuzione geografica
Continente #
AS - Asia 10
EU - Europa 5
Totale 15
Nazione #
CN - Cina 5
SG - Singapore 5
IT - Italia 3
DE - Germania 1
FI - Finlandia 1
Totale 15
Città #
Guangzhou 4
Singapore 3
Görwihl 1
Helsinki 1
Rome 1
Totale 10
Nome #
Ten diverse formal models for a CBTC automatic train supervision system 3
4SECURail - D.2.1: Specification of formal development demonstrator 2
SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties 1
From EU projects to a family of model checkers. From Kandinsky to KandISTI 1
Verifying properties of systems relying on attribute-based communication 1
Adopting Formal Methods in an Industrial Setting: The Railways Case 1
The UMC2LNT and UMC2PROB model transformation tools 1
Feasibility of a mapping from the ADA formal definition to the NYU SETL interpreter for ADA 1
From featured transition systems to modal transition systems with variability constraints 1
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications 1
4SECURail - D.2.2 : Formal development Demonstrator prototype - 1st release 1
A Formal Methods Demonstrator for Railways 1
Totale 15
Categoria #
all - tutte 1.319
article - articoli 230
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 103
Totale 1.652


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20249 0 0 0 0 0 0 0 0 0 0 7 2
2024/20256 4 2 0 0 0 0 0 0 0 0 0 0
Totale 15