2012 12th International Conference on Quality Software 2012
DOI: 10.1109/qsic.2012.11
|View full text |Cite
|
Sign up to set email alerts
|

A Unified Modeling and Verifying Framework for Cyber Physical Systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 13 publications
0
1
0
Order By: Relevance
“…More recent publications increasingly rely on UML2.0 and corresponding modifications. For example, Zhai et al and Zhou et al used Hybrid UML, which is a profile of UML 2.0 [ 174 , 175 ]. Sadwovykh et al and Tannoury et al both used SysML, which is a graphical standardised modelling language based on UML 2.0 [ 176 , 177 ].…”
Section: Resultsmentioning
confidence: 99%
“…More recent publications increasingly rely on UML2.0 and corresponding modifications. For example, Zhai et al and Zhou et al used Hybrid UML, which is a profile of UML 2.0 [ 174 , 175 ]. Sadwovykh et al and Tannoury et al both used SysML, which is a graphical standardised modelling language based on UML 2.0 [ 176 , 177 ].…”
Section: Resultsmentioning
confidence: 99%