in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, ISSN: 1433-2779
Volume: 20, Número: 4, Páginas: 379-395 (17)
Conference
Joint 21St International Workshop on Formal Methods for Industrial Critical Systems (Fmics) / 16Th International Workshop on Automated Verification of Critical Systems (Avocs), Date: SEP 26-28, 2016, Location: Pisa, ITALY, Patrocinadores: European Res Consortium Informat & Math, Formal Methods Europe, Springer Intl Publishing AG
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.
