E-LIB Suche - Ergebnisse für: Fantechi, A.

1

302. Quantitative analysis and SVM-based classification of ..:

Giuliano, A. ; Chiacchio, S. ; Fantechi, L...
Physica Medica. 56 (2018) - p. 247 , 2018

Link: https://doi.org/10.1016/..

2

Validation process for railway interlocking systems:

Bonacchi, A. ; Fantechi, A. ; Bacherini, S..
Science of Computer Programming. 128 (2016) - p. 2-21 , 2016

Link: https://doi.org/10.1016/..

3

Validation Coverage for a Component-based SDL model of a Ra..:

Banci, M. ; Becucci, M. ; Fantechi, A..
Electronic Notes in Theoretical Computer Science. 116 (2005) - p. 99-111 , 2005

Link: https://doi.org/10.1016/..

4

Enhancing Test Coverage by Back-tracing Model-checker Count..:

Fantechi, A. ; Gnesi, S. ; Maggiore, A.
Electronic Notes in Theoretical Computer Science. 116 (2005) - p. 199-211 , 2005

Link: https://doi.org/10.1016/..

5

Applications of linguistic techniques for use case analysis:

Fantechi, A. ; Gnesi, S. ; Lami, G..
Requirements Engineering. 8 (2003) 3 - p. 161-170 , 2003

Link: https://doi.org/10.1007/..

6

Design validation of embedded dependable systems:

Bondavalli, A. ; Fantechi, A. ; Latella, D..
IEEE Micro. 21 (2001) 5 - p. 52-62 , 2001

Link: https://doi.org/10.1109/..

7

Formal validation of fault-tolerance mechanisms inside GUAR..:

Bernardeschi, C. ; Fantechi, A. ; Gnesi, S.
Reliability Engineering & System Safety. 71 (2001) 3 - p. 261-270 , 2001

Link: https://doi.org/10.1016/..

8

An industrial application for the JACK environment:

Bernardeschi, C. ; Fantechi, A. ; Gnesi, S.
Journal of Systems and Software. 39 (1997) 3 - p. 249-264 , 1997

Link: https://doi.org/10.1016/..

9

Assisting requirement formalization by means of natural lan..:

Fantechi, A. ; Gnesi, S. ; Ristori, G....
Formal Methods in System Design. 4 (1994) 3 - p. 243-263 , 1994

Link: https://doi.org/10.1007/..

10

An action-based framework for veryfying logical and behavio..:

De Nicola, R. ; Fantechi, A. ; Gnesi, S..
Computer Networks and ISDN Systems. 25 (1993) 7 - p. 761-778 , 1993

Link: https://doi.org/10.1016/..

11

Executing the formal definition of Ada:

Fantechi, A. ; Gnesi, S. ; Leggio, F..
ACM SIGPLAN Notices. 26 (1991) 3 - p. 25-34 , 1991

Link: https://doi.org/10.1145/..

12

Executing the formal definition of Ada:

Fantechi, A. ; Gnesi, S. ; Leggio, F..
ACM SIGPLAN Notices. 26 (1991) 3 - p. 25-34 , 1991

Link: https://dl.acm.org/doi/1..

13

Two standards means problems: A case study on formal protoc..:

Fantechi, A
Computer Standards & Interfaces. 9 (1989) 1 - p. 11-19 , 1989

Link: https://doi.org/10.1016/..

14

Distributed implementation of nested communicating sequenti..:

Baiardi, F. ; Fantechi, A. ; Tomasi, A..
Journal of Parallel and Distributed Computing. 4 (1987) 6 - p. 531-545 , 1987

Link: https://doi.org/10.1016/..

15

Interfacing with real environments from Ada programs:

Fantechi, A.
ACM SIGAda Ada Letters. IV (1984) 2 - p. 35-43 , 1984

Link: https://dl.acm.org/doi/1..