Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Systemvariabilitaet bewaeltigen - Constraint basierte Plattformvarianten Spezifikation fuer die fruehzeitige Systemverifikation


    Weitere Titelangaben:

    Handling of system variability - constraint based platform variants specification for early system verification.


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2016


    Format / Umfang :

    4 pages


    Anmerkungen:

    Elektronik automotive;(2016)4 ;30-33


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch



    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

    Einer, Stefan / Slovák, Roman / Schnieder, Eckehard | IuD Bahn | 2000



    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

    Einer, S. / Slovak, R. / Schnieder, E. | Tema Archiv | 2000



    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

    Einer, S. / Schnieder, E. / Slovak, R. | Tema Archiv | 2000