275 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
Typology operator: and / or
Language operator: and / or
Date operator: and / or
more
Rights operator: and / or
1998 Other Unknown
Third ERCIM FMICS international workshop
Latella D.
An abstract is not available.

See at: CNR ExploRA

1998 Other Unknown
Il caso del Robot Killer
Latella D.
An abstrct is not available.

See at: CNR ExploRA

1998 Other Unknown
Il caso dei robot Killer
Latella D.
Sommario non disponibile.

See at: CNR ExploRA

1989 Other Unknown
The DARPA strategic computing program trasparencies
Latella D.
No abstract available

See at: CNR ExploRA

1997 Conference article Unknown
Stochastic analysis via a probabilistic process algebra
Latella D, P. Quaglia
Source: PAPM 1997, pp. 187–206, 1997

See at: CNR ExploRA

2002 Contribution to conference Unknown
UMLStatecharts@ISTI
Latella D.
An abstract is not availableSource: FM&&T Day, Pisa, Italy, 2002

See at: CNR ExploRA

1998 Other Unknown
Editorial
Gnesi S., Latella D.
In: Formal Aspects of Computing, 10 (1998), 311-312.

See at: CNR ExploRA

1989 Other Unknown
Corsa agli armamenti, tecnologie avanzate e prospettive di disarmo. Raccolta degli abstracts
Latella D.
No abstract available

See at: CNR ExploRA

2002 Report Open Access OPEN
Relating testing and conformance relations for UML statechart diagrams behaviours.
Latella D., Massink M.
No abstract avaible.Source: ISTI Technical reports, 2002

See at: ISTI Repository Open Access | CNR ExploRA

2002 Report Open Access OPEN
Towards model checking a spi-calculus dialect
Gnesi S., Latella D., Lenzini G.
An abstract is not availableSource: ISTI Technical reports, 2002

See at: ISTI Repository Open Access | CNR ExploRA

1993 Journal article Unknown
Definizione di linguaggi di specifica visuali: L'esperienza G-LOTOS
Latella D
Source: Rivista di Informatica XXIII (1993): 205–220.

See at: CNR ExploRA

2000 Contribution to conference Unknown
Formal methods for distributed system development
Bolognesi T., Latella D.
An abstract is not available.Source: London: Kluwer Academic Publ., 2000

See at: CNR ExploRA

1993 Conference article Unknown
Gate splitting in LOTOS specifications using abstract interpretation
Giannotti F, Latella D
Source: TAPSOFT '93, pp. 437–452, Orsay, 1993

See at: CNR ExploRA

1991 Conference article Unknown
Non-standard interpretations of LOTOS specifications
Bolognesi T, Latella D, Zuppa E
Source: TAPSOFT '91, pp. 217–231, Brighton, 1991

See at: CNR ExploRA

1988 Conference article Unknown
The CNUCE OSI prototyping laboratory
Gregori E, Latella D, Lenzini L, Merelli E
Source: Computer Network Symposium, pp. 254–263, Washington, D. C., 1988

See at: CNR ExploRA

1997 Report Unknown
An overview of spin - Foils
Latella D.
An abstract is not avaiableSource: ISTI Technical reports, pp.1–61, 1997

See at: CNR ExploRA

1998 Other Unknown
Towards a formal oprational semantics for UML statechert diagrams
Latella D., Massink M., Majzik I.
An abstract is not available.

See at: CNR ExploRA

1998 Other Unknown
Second ERCIM international workshop on formal methods for industrial critical systems
Gnesi S., Latella D.
An abstract is not available.

See at: CNR ExploRA

1998 Other Unknown
A semplifield formal operational semantics for a subset of UML statechert diagrams
Latella D., Massink M., Majzik I.
An abstract is not available.

See at: CNR ExploRA

1998 Other Unknown
Implementazione in SML di un traduttore da automi gerarchici a Promela
Giusti E., Latella D.
Sommario non disponibile.

See at: CNR ExploRA


Privacy Policy