1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2024
Verification of Quantitative Temporal Properties in RealTime-DEVS
Ariel González, Maximiliano Cristiá, Carlos Luna
Real-Time DEVS (RT-DEVS) can model systems with quantitative temporal requirements. Ensuring that such models verify that kind of temporal properties requires to use something beyo…
cs.SE2010★ 1 cited
Specification of Products and Product Lines
Ariel Gonzalez, Carlos Luna
The study of variability in software development has become increasingly important in recent years. A common mechanism to represent the variability in a product line is by means of…