Publikationen im TC Dependable System Design

Nachfolgend finden Sie alle - nur zu diesem Technologiecluster gehörenden - Publikationen.

Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.

  Suche  UND ODER Erweiterte Suche
schließen
Alle 75 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
2005
 
Titel

Formal Verification of a Sensor Voting and Monitoring UML Model

Titel der Konferenz

4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005)

Alle Autoren

Mrugalla, Christian; Robbe, Oliver; Schinz, Ingo; Toben, Tobe; Westphal, Bernd

Jahr

2005