Formal Verification of Aadl Models Using Uppaal

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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service