Zum Inhalt springen Kogtenkov, Alexander [Verfasser:in] ; Meyer, Bertrand [Mitwirkende:r]; Furia, Carlo A. [Mitwirkende:r]; Mazzara, Manuel [Mitwirkende:r]; Meijer, Erik [Mitwirkende:r]; Thiele, Lothar [Mitwirkende:r] Void safety Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. ETH Zurich, 2017-01-31 Sumiła, Marek; Lewiński, Andrzej The safety assurance method of railway control systems using object oriented languages Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Politechnika Warszawska - Warsaw University of Technology, 2010 Erschienen in: Archives of Transport, 22 (2010) 2 Bravetti, Mario; Francalanza, Adrian; Golovanov, Iaroslav; Hüttel, Hans; Jakobsen, Mathias S.; Kettunen, Mikkel K.; Ravara, António Programming Languages and Systems: Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Programming Languages and Systems (2020), Seite 105-124 Wang, Xi; Miao, Huaikou; Miao, Weikai Structured Object-Oriented Formal Language and Method: Automated Safety Analysis on Scenario-Based Requirements for Train Control System Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2017 Erschienen in: Structured Object-Oriented Formal Language and Method (2017), Seite 55-73
Kogtenkov, Alexander [Verfasser:in] ; Meyer, Bertrand [Mitwirkende:r]; Furia, Carlo A. [Mitwirkende:r]; Mazzara, Manuel [Mitwirkende:r]; Meijer, Erik [Mitwirkende:r]; Thiele, Lothar [Mitwirkende:r] Void safety Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. ETH Zurich, 2017-01-31
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sumiła, Marek; Lewiński, Andrzej The safety assurance method of railway control systems using object oriented languages Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Politechnika Warszawska - Warsaw University of Technology, 2010 Erschienen in: Archives of Transport, 22 (2010) 2
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bravetti, Mario; Francalanza, Adrian; Golovanov, Iaroslav; Hüttel, Hans; Jakobsen, Mathias S.; Kettunen, Mikkel K.; Ravara, António Programming Languages and Systems: Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Programming Languages and Systems (2020), Seite 105-124
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wang, Xi; Miao, Huaikou; Miao, Weikai Structured Object-Oriented Formal Language and Method: Automated Safety Analysis on Scenario-Based Requirements for Train Control System Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2017 Erschienen in: Structured Object-Oriented Formal Language and Method (2017), Seite 55-73
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (3) Wert ausschließen Hochschulschriften (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (1) Wert ausschließen Ohne Angabe (3) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Nicht zu entscheiden (3) Wert ausschließen Englisch (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Bravetti, Mario (1) Wert ausschließen Francalanza, Adrian (1) Wert ausschließen Furia, Carlo A. (1) Wert ausschließen Golovanov, Iaroslav (1) Wert ausschließen Hüttel, Hans (1) Wert ausschließen Jakobsen, Mathias S. (1) Wert ausschließen Kettunen, Mikkel K. (1) Wert ausschließen Kogtenkov, Alexander (1) Wert ausschließen Lewiński, Andrzej (1) Wert ausschließen Mazzara, Manuel (1) Wert ausschließen Meijer, Erik (1) Wert ausschließen Meyer, Bertrand (1) Wert ausschließen Miao, Huaikou (1) Wert ausschließen Miao, Weikai (1) Wert ausschließen Ravara, António (1) Wert ausschließen Sumiła, Marek (1) Wert ausschließen Thiele, Lothar (1) Wert ausschließen Wang, Xi (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer International Publishing (CrossRef) (2) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen ETH Zürich Research Collection (1) Wert ausschließen Politechnika Warszawska - Warsaw University of Technology (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen