23rd International Conference on Formal Methods for Industrial Critical Systems (Event)

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

    Period2018
    Event typeConference
    LocationKildare, IrelandShow on map