Concepedia

Salvatore Larosa

SL

3

Publications

157

Citations

3

H-Index

1994

Active since

Affiliations

University of Pisa(Current)

Salvatore Larosa is an author at University of Pisa specializing in engineering, system integration, and design.

Top concepts

Publications per year

1994–1998

3

Publications

3

The Integration Project for the JACK Environment.

Amar Bouali, Stefania Gnesi, Salvatore Larosa · CWI's Institutional Repository (Centrum Wiskunde & Informatica) · 1994 · 68 citations · Full text

, , +5

A Formal Verification Environment for Railway Signaling System Design

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi et al. · Formal Methods in System Design · 1998 · 64 citations

JACK: Just Another Concurrency Kit. The intergration Projekt.

Amar Bouali, Stefania Gnesi, Salvatore Larosa · Bulletin of the European Association for Theoretical Computer Science · 1994 · 25 citations

, , +6

Rows per page

1–3 of 3