Tracing integration analysis in component-based formal specifications

DOI10.1007/11494881_10zbMATH Open1461.68116OpenAlexW1562848779MaRDI QIDQ4989028FDOQ4989028

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

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

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)