Author: "Solla, A. G." - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Solla, A. G."' showing total 5 results

Start Over Author "Solla, A. G."

5 results on '"Solla, A. G."'

1. Bringing Content Awareness to Web-Based IDTV Advertising

Author: Redondo, R. P. D., primary, Vilas, A. F., additional, Arias, J. J. P., additional, Cabrer, M. R., additional, Solla, A. G., additional, and Duque, J. G., additional
Published: 2012
Full Text: View/download PDF

2. Improving the consistency checking process by reusing formal verification knowledge

Author: Díaz Redondo, R. P., Jose J. Pazos-Arias, Vilas, A. F., Duque, J. G., and Solla, A. G.

3. A many-valued logic with imperative semantics for incremental specification of timed models

Author: Vilas, A. F., Jose J. Pazos-Arias, Díaz Redondo, R. P., Solla, A. G., and Duque, J. G.

4. Supporting software variability by reusing generic incomplete models at the requirements specification stage

Author: Rebeca P. Díaz Redondo, Nores, M. L., Pazos Arias, J. J., Vilas, A. F., Duque, J. G., Solla, A. G., Martínez, B. B., and Cabrer, M. R.

5. Multi-valued model checking in dense-time

Author: Vilas, A. F., Arias, J. J. P., Martínez, A. B. B., Nores, M. L., Redondo, R. P. D., Solla, A. G., Duque, J. G., and Cabrer, M. R.

Catalog

Books, media, physical & digital resources

See catalog results