Formal Verification of Aadl Models Using Uppaal

AuthID
P-00N-9VP
4
Author(s)
Gonçalves, FS
·
Becker, LB
Document Type
Proceedings Paper
Year published
2017
Published
in 2017 VII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), ISSN: 23247886
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
Publication Identifiers
Dblp: conf/sbesc/GoncalvesPTB17
Scopus: 2-s2.0-85041449077
Wos: WOS:000427435500016
Source Identifiers
ISSN: 23247886
Export Publication Metadata
Marked List
Citations
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.



CORE Conference
No information about CORE Rank

During the preprocessing phase, only publications of type 'Proceedings Paper' or 'Proceedings' are automatically processed to identify their CORE Rank.

TIP: If your publication's CORE Rank is missing, you can contact with your institutional manager to have the correct ranking manually added to the record.

Journal Factors
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.

Info
At this moment we don't have any links to full text documens.