Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Toggle navigation
Attending
Venue: Online
Registration
Sponsorship
Sponsors and Supporters
Sponsorship
Impact of COVID-19
Program
Complete Program
Your Program
Program overview
Fri 16 Oct
Sat 17 Oct
Sun 18 Oct
Mon 19 Oct
Tue 20 Oct
Wed 21 Oct
Thu 22 Oct
Fri 23 Oct
Tracks
MODELS 2020
Technical Track
Industry Days
Artifact Evaluation
Educators Symposium
Tools & Demonstrations
Posters
Workshops
Tutorials
Doctoral Symposium
ACM Student Research Competition
Keynotes
Awards
Panel
MODELS
SAM Conference
Organization
MODELS 2020
Organizing Committee
Steering Committee
Technical Track
PC - Foundations Track
PC - Practice and Innovation Track
Program Board
Artifact Evaluation
Chairs
Artifact Evaluation Committee
Educators Symposium
Chairs
Program Committee
Tools & Demonstrations
Chairs
Program Committee
Posters
Chairs
Poster Committee
Workshops
Chairs
Program Committee
Tutorials
Chairs
Program Committee
Doctoral Symposium
Chairs
Program Committee
ACM Student Research Competition
Chairs
Program Committee
Contributors
People Index
Search
Series
Series
MODELS 2020
MODELS 2019
MODELS 2018
MODELS 2017
MODELS 2016
MODELS 2015
MODELS 2014
MODELS 2013
MODELS 2012
MODELS 2011
MODELS 2010
MODELS 2009
MODELS 2008
MODELS 2007
MODELS 2006
MODELS 2005
UML 2004
UML 2003
UML 2002
UML 2001
UML 2000
UML 1999
UML 1998
Sign in
Sign up
MODELS 2020
(
series
) /
Simin Cai
MODELS 2020 profile
conf.research.org general profile
Not registered as user yet
Name:
Simin Cai
Contributions
MODELS 2020
Author of Specification and Automated Verification of Atomic Concurrent Real-Time Transactions within the Technical Track-track
Show activities from other conferences
Share
Using general profile
x
Tue 29 Sep 04:23