Formal Verification of Aadl Models Using Uppaal

AuthID
 P-00N-9VP
4
Author(s)
Goncalves, FS
·
Becker, LB
Tipo de Documento
Proceedings Paper
Year published
2017
Publicado
in 2017 VII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC) in SBESC, ISSN: 2324-7886
Volume: 2017-November, Páginas: 117-124 (8)
Conference
7Th Brazilian Symposium on Computing Systems Engineering (Sbesc), Date: NOV 06-10, 2017, Location: Curitiba, BRAZIL, Patrocinadores: Univ Tecnologica Fed Parana, Programa Pos Graduacao Computacao Aplicada, Laboratorio Engenharia Sistemas Computacionais, Sociedade Brasileira Computacao, ifip, CAPES, DAINF
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/698230
Crossref®1
Handle®
Google Scholar®
Publication Identifiers
DBLP: conf/sbesc/GoncalvesPTB17
SCOPUS: 2-s2.0-85041449077
Wos: WOS:000427435500016
Source Identifiers
ISSN: 2324-7886
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service