A refinement relation for families of timed automata

Software Product Lines (SPLs) are families of systems that share a high number of common assets while differing in others. In component-based systems, components themselves can be SPLs, i.e., each component can be seen as a family of variations, with different interfaces and functionalities, typical...

Full description

Bibliographic Details
Main Author: Cledou, Guillermina (author)
Other Authors: Proença, José Miguel Paiva (author), Barbosa, L. S. (author)
Format: conferencePaper
Language:eng
Published: 2017
Subjects:
Software Product Lines
Timed automata
Refinement
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
Online Access:http://hdl.handle.net/1822/69307
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/69307

Internet

http://hdl.handle.net/1822/69307

Similar Items