Showing
1 - 3
results of
3
for search '
Gnesi, Stefania
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Gnesi, Stefania
Stefania Gnesi
Stefania Gnesi
(born 1954) is an Italian
software engineer
whose work focuses on
formal methods
, and the use of
natural language
and
natural language processing
in
requirements analysis
. She is a director of research at the
Istituto di Scienza e Tecnologie dell'Informazione
of the
Italian National Research Council (CNR)
, where she heads the Formal Methods and Tools group.
Provided by Wikipedia
Search Results
Showing
1 - 3
results of
3
for search '
Gnesi, Stefania
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
A Model-Checking Tool for Families of Services
Get access
Get access
Get access
Get access
A Model-Checking Tool for Families of Services
Get access
Get access
Get access
Get access
A Model-Checking Tool for Families of Services
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
[INFO]Computer Science [cs]
Loading...