2005
DOI: 10.1007/11562948_6
|View full text |Cite
|
Sign up to set email alerts
|

Comprehensive Verification Framework for Dependability of Self-optimizing Systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
1
0
1

Year Published

2011
2011
2021
2021

Publication Types

Select...
2
2

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(2 citation statements)
references
References 14 publications
0
1
0
1
Order By: Relevance
“…Other research areas include Robotics [301], Automotive [79], Computer [248], Software Stack [289], Networking [39], [119], Software Engineering [174], and Intelligence Surveillance Reconnaissance [42].…”
Section: -2005 -Foundational Yearsmentioning
confidence: 99%
“…Other research areas include Robotics [301], Automotive [79], Computer [248], Software Stack [289], Networking [39], [119], Software Engineering [174], and Intelligence Surveillance Reconnaissance [42].…”
Section: -2005 -Foundational Yearsmentioning
confidence: 99%
“…Finalmente, em Zhao et al (2005) é discutida uma combinação de técnicas para transformação de modelos com ferramentas para realizar a verificação formal dos mesmo. Os autores utilizam uma extensão dos Diagramas de Estados para a modelagem -chamada Real-Time UML (RT-UML) -e uma extensão da OCL para atribuir o formalismo temporal -chamada Real-Time OCL (RT-OCL).…”
Section: Discussão Dos Resultadosunclassified