Search Results - Sijtema, M.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost

    Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost by Sijtema, M., Belinfante, A., Stoelinga, M.I.A., Marinelli, L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: