1–14 of 14 hits
|

    Petri net based simulation and optimisation of railway maintenance processes

    Quiroga, L. / Slovak, R. / Wegele, S. et al. | Tema Archive | 2008

    Formal structuring for development of level crossing ontology

    Drewes, J. / Slovak, R. / Tordai, L. et al. | Tema Archive | 2007

    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

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

    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

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

    Support for Operativ Train Scheduling Using Algorithm Optimisation

    Wegele, S. / Slovak, R. / Schnieder, E. et al. | British Library Conference Proceedings | 2003

    Unterstuetzung der operativen Fahrplanerstellung basierend auf der Optimierung mit genetischen Algorithmen

    Wegele,S. / Slovak,R. / Schnieder,E. et al. | Automotive engineering | 2003

    Auswahl der Funktionen eines Sicherungssystems fur dessen Sicherheitsanalyse

    Slovak, R. / Svejda, J. / Tomasov, P. | British Library Conference Proceedings | 1999

    A railway demonstrator model for experimental investigation of integrated specification techniques

    Hänsel, F. / König, S. / Slovak, R. et al. | Tema Archive | 2003

    Petrinet-Based Specification of Safety Relevant Train Control Systems

    Einer, S. / Schnieder, E. / Slovak, R. et al. | British Library Conference Proceedings | 2000

    Experimental validation of train control systems by using a railway model

    Einer, S. / Schrom, H. / Slovak, R. et al. | British Library Conference Proceedings | 2002

    A Railway Demonstrator for experimental Validation of formal Specifications

    Hansel, F. / Konig, S. / Slovak, R. et al. | British Library Conference Proceedings | 2003