Calculated based on number of publications stored in Pure and citations from Scopus

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 2009

    Formal verification and software product lines

    Kishi, T. & Noda, N., 2009 Jan 1, Applied Software Product Line Engineering. CRC Press, p. 231-246 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter