Treffer 1 - 2 von 2 für Suche 'Jilissen, Kevin H.J.', Suchdauer: 0,33s Treffer weiter einschränken
  1. 1
    Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment

    Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment von Jilissen, Kevin H.J., Dieleman, Peter, Groote, Jan Friso


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation

    Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation von Groote, Jan Friso, Jilissen, Kevin H. J., Laveaux, Maurice, van Spaendonck, P. H. M., Willemse, Tim A. C.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: