Verifying a plaftorm for digital imaging: a multi-tool strategy

Jonathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz

    Research output: Contribution to conferencePaper

    Original languageEnglish
    Publication statusPublished - 2013
    EventConferences on Intelligent Computer Mathematics: Calculemus 2013 - University of Bath in Building 8W, Bath, United Kingdom
    Duration: 8 Jul 201312 Jul 2013
    http://www.cicm-conference.org/2013/cicm.php

    Conference

    ConferenceConferences on Intelligent Computer Mathematics: Calculemus 2013
    Abbreviated titleCICM 2013
    Country/TerritoryUnited Kingdom
    CityBath
    Period8/07/1312/07/13
    OtherHeld as Part of CICM 2013
    Internet address
    • Verifying a plaftorm for digital imaging: a multi-tool strategy

      Heras, J., Mata, G., Romero, A., Rubio, J. & Sáenz, R., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer , p. 66-81 16 p. (Lecture notes in computer science; vol. 7961).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      2 Citations (Scopus)

    Cite this