Write a Blog >>
ECSA 2020
Mon 14 - Fri 18 September 2020
L'Aquila, Italy
Toggle navigation
Tracks
ECSA 2020
Journal First
Keynotes
Panel
Paper Presentations
Research Papers
Industry Program
Workshops
Gender Diversity in SA
Tool Demos
Doctoral Symposium
JSS Special Issue
Organization
ECSA 2020 Committees
Organizing Committee
Steering Committee
Track Committees
Journal First
Research Papers
Industry Program
Workshops
Gender Diversity in SA
Tool Demos
Doctoral Symposium
Contributors
People Index
Attending
Venue: Università degli Studi dell'Aquila
Registration
Virtual Conference
Local Information
Message from the General Chair
Important Dates
Student Volunteers
Call for Participation
Program
ECSA Program
Your Program
Keynotes
Social Events
Mon 14 Sep
Tue 15 Sep
Wed 16 Sep
Thu 17 Sep
Fri 18 Sep
Search
Series
Series
ECSA 2025
ECSA 2024
ECSA 2023
ECSA 2022
ECSA 2021
ECSA 2020
Sign in
Sign up
ECSA 2020
(
series
) /
Jair Leite
ECSA 2020 profile
conf.research.org general profile
Not registered as user yet
Name:
Jair Leite
Country:
Brazil
Affiliation:
Federal University of Rio Grande do Norte
Contributions
2020
ECSA
Empowering SysML-based Software Architecture Description with Formal Verification: From SysADL to CSP
Show activities from other conferences
Share
ECSA 2020-profile
View general profile
x
Fri 13 Dec 17:20