Treffer 1 - 11 von 11 für Suche 'Romanovsky, Alexander', Suchdauer: 0,32s
Treffer weiter einschränken
-
1
Software engineering for resilient systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Romanovsky, Alexander …”
Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
2
Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November...
Veröffentlicht 2017Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
3
Computer safety, reliability, and security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Veröffentlicht 2019Weitere Verfasser: “… Romanovsky, Alexander …”
Signatur: Wird geladen …DE-634
Standort: Wird geladen …
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
4
Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4–6, 2...
Veröffentlicht 2019Weitere Verfasser:Signatur: Wird geladen …DE-634
Standort: Wird geladen …
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
5
Computer safety, reliability, and security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings
Veröffentlicht 2019Weitere Verfasser: “… Romanovsky, Alexander …”
Signatur: Wird geladen …DE-634
Standort: Wird geladen …
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
6
Computer safety, reliability, and security 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings
Veröffentlicht 2019Weitere Verfasser: “… Romanovsky, Alexander …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
7
Computer safety, reliability, and security SAFECOMP 2019 workshops ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings
Veröffentlicht 2019Weitere Verfasser: “… Romanovsky, Alexander …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
8
Software engineering for resilient systems 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Romanovsky, Alexander …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
9
Reliable software technologies - Ada Europe 2011 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011
Veröffentlicht 2011Weitere Verfasser: “… Romanovsky, Alexander …”
Signatur: Wird geladen …URL des Erstveröffentlichers
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
10
Concurrency in Dependable Computing
Veröffentlicht 2002Weitere Verfasser:Signatur: Wird geladen …DE-706
Standort: Wird geladen …
URL des Eerstveröffentlichers
Elektronisch E-Book -
11
Scientific engineering of distributed Java applications 4th international workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24 - 25, 2004 ; revised selected papers
Veröffentlicht 2005Weitere Verfasser:Signatur: Wird geladen …DE-634
Standort: Wird geladen …
DE-M347
DE-91
DE-384
DE-473
DE-19
DE-706
DE-739
Volltext
Elektronisch Tagungsbericht E-Book
Suchwerkzeuge:
Ähnliche Schlagworte
Zuverlässigkeit
Formale Methode
Software engineering
Konferenzschrift
Software Engineering
Artificial intelligence
Computer science
Software
Artificial Intelligence
Computer Science
Computer Systems Organization and Communication Networks
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Sicherheitskritisches System
Aufsatzsammlung
Computer logic
Computer network architectures
Computer security
Computer vision
Computers
Control Structures and Microprogramming
Fehlertoleranz
Image Processing and Computer Vision
Informatik
Konferenzschrift 2019 Turku
Mathematical Logic and Formal Languages
Microprogramming
Programming languages (Electronic computers)
Systems and Data Security
Verifikation