Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
zur Desktop-Version
Toggle navigation
Duracz, Adam
5
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Proteus: Language and Runtime Support for Self-Adaptive Sof..:
Barati, Saeid
;
Bartha, Ferenc A.
;
Biswas, Swarnendu
...
IEEE Software. 36 (2019) 2 - p. 73-82 , 2019
Link:
https://doi.org/10.1109/..
?
2
Safe & robust reachability analysis of hybrid systems:
Moggi, Eugenio
;
Farjudian, Amin
;
Duracz, Adam
.
Theoretical Computer Science. 747 (2018) - p. 75-99 , 2018
Link:
https://doi.org/10.1016/..
?
3
Developing a first course on cyber-physical systems:
Taha, Walid
;
Zeng, Yingfu
;
Duracz, Adam
...
ACM SIGBED Review. 14 (2017) 1 - p. 44-52 , 2017
Link:
https://doi.org/10.1145/..
?
4
Developing a first course on cyber-physical systems:
Taha, Walid
;
Zeng, Yingfu
;
Duracz, Adam
...
ACM SIGBED Review. 14 (2017) 1 - p. 44-52 , 2017
Link:
https://dl.acm.org/doi/1..
?
5
Enclosing the behavior of a hybrid automaton up to and beyo..:
Konečný, Michal
;
Taha, Walid
;
Bartha, Ferenc A.
...
Nonlinear Analysis: Hybrid Systems. 20 (2016) - p. 1-20 , 2016
Link:
https://doi.org/10.1016/..
1-5