Showing
1 - 7
results of
7
for search '
CHEN CHUNQING
'
Skip to content
AUNILO IRDS | AUNILO Institutional Repository Discovery Service
FAQs
|
Search Tips
|
Feedback
Your Account
Log Out
Login
Theme
Bootstrap
Aunilo
Language
English
中文(繁體)
اللغة العربية
Toggle navigation
Home
Search/Browse Options
Search History
Advanced Search
About
About AUNILO IRDS
Content Sources
Statistics
Technical Team
Disclaimer
Privacy & Security Policy
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
CHEN CHUNQING
Showing
1 - 7
results of
7
for search '
CHEN CHUNQING
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
A verification system for interval-based specification languages with its application to simulink
by
CHEN
CHUNQING
Published 2010
Get full text
Theses and Dissertations
Save to List
Saved in:
2
A formal framework for modeling and validating Simulink diagrams
by
CHEN
,
Chunqing
,
DONG, Jin Song
,
SUN, Jun
Published 2009
Get full text
Get full text
text
Save to List
Saved in:
3
Machine-assisted proof support for validation beyond Simulink
by
CHEN
,
Chunqing
,
DONG, Jin Song
,
SUN, Jun
Published 2007
Get full text
Get full text
text
Save to List
Saved in:
4
A verification system for timed interval calculus
by
CHEN
,
Chunqing
,
DONG, Jin Song
,
SUN, Jun
Published 2008
Get full text
Get full text
text
Save to List
Saved in:
5
Integrating specification and programs for system modeling and verification
by
SUN, Jun
,
LIU, Yang
,
DONG, Jin Song
,
CHEN
,
Chunqing
Published 2009
Get full text
Get full text
text
Save to List
Saved in:
6
A verification system for interval-based specification languages
by
CHEN
,
Chunqing
,
DONG, Jin Song
,
SUN, Jun
,
MARTIN, Andrew P.
Published 2010
Get full text
Get full text
text
Save to List
Saved in:
7
Formal modeling and validation of Stateflow diagrams
by
CHEN
,
Chunqing
,
SUN, Jun
,
LIU, Yang
,
DONG, Jin Song
,
ZHENG, Manchun
Published 2012
Get full text
Get full text
text
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...