Some trends in formal methods applications to railway signaling

A. Fantechi, W.J. Fokkink, A. Morzenti

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    25 Citaten (Scopus)
    1 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Some trends in formal methods applications to railway signaling'. Samen vormen ze een unieke vingerafdruk.

    Engineering en materiaalwetenschappen