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

    1 Citation (Scopus)
    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
    CountryUnited Kingdom
    CityBath
    Period8/07/1312/07/13
    OtherHeld as Part of CICM 2013
    Internet address

    Research Output

    • 1 Citations
    • 1 Conference contribution

    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

  • 1 Citation (Scopus)

    Activities

    • 1 Participation in conference

    Conferences on Intelligent Computer Mathematics: Calculemus 2013

    Jonathan Heras (Member of programme committee)

    8 Jul 201312 Jul 2013

    Activity: Participating in or organising an event typesParticipation in conference

    Cite this

    Heras, J., Mata, G., Romero, A., Rubio, J., & Sáenz, R. (2013). Verifying a plaftorm for digital imaging: a multi-tool strategy. Paper presented at Conferences on Intelligent Computer Mathematics: Calculemus 2013, Bath, United Kingdom. http://www.cicm-conference.org/2013/cicm.php?event=&menu=talks