Tracing integration analysis in component-based formal specifications

DOI10.1007/11494881_10MaRDI QIDQ4989028zbMATH OpenOpenAlexFDO

Authors Martín López Nores, José J. Pazos Arias, Jorge García Duque, Belén Barragáns-Martínez, Rebeca P. Díaz-Redondo, Ana Fernándezvilas, Alberto Gil-Solla, Manuel Ramos Cabrer

Publication date 20 May 2021

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11494881_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Recommendations

• Automata-based component composition analysis
• On formal specification of software components and systems
• scientific article; zbMATH DE number 2201909
• scientific article; zbMATH DE number 1860663
• Mathematical Frameworks for Component Software

Cited in

(1)

• scientific article; zbMATH DE number 2084436 (Why is no real title available?)

This page was built for publication: Tracing integration analysis in component-based formal specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989028)