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

Research activity per year

Filter
Chapter

Search results

  • 2003

    A formal framework for modular synchronous system design

    Marinescu, M. C. V. & Rinard, M. C., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Araki, K., Gnesi, S. & Mandrioli, D. (eds.). Springer Verlag, p. 482-502 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2805).

    Research output: Book chapterChapterpeer-review

    Open Access
    1 Citation (Scopus)