Autor: "Fahrenberg, Uli" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Fahrenberg, Uli"" wg kryterium: Autor

Wyświetlanie 1-20 z 123

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Introduction to the Special Issue on Distributed Hybrid Systems
Autorzy:: Abate, Alessandro
Fahrenberg, Uli
Fränzle, Martin; Pokaż więcej
Temat:: distributed hybrid systems
Technology
Electrical engineering. Electronics. Nuclear engineering
TK1-9971
Electronics
TK7800-8360
Źródło:: Leibniz Transactions on Embedded Systems, Vol 8, Iss 2, Pp 0:i-0:iii (2022)
Opis pliku:: electronic resource
Relacje:: https://drops.dagstuhl.de/storage/07lites/lites_vol008/lites_vol008_issue002/LITES.8.2.0/LITES.8.2.0.pdf; https://doaj.org/toc/2199-2002
Dostęp URL:: https://doaj.org/article/bd6ca138b48f4126a0204751e1b63a03 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Higher-Dimensional Timed and Hybrid Automata
Autorzy:: Fahrenberg, Uli; Pokaż więcej
Temat:: timed automaton
higher-dimensional automaton
precubical set
real time
non-interleaving concurrency
hybrid automaton
Technology
Electrical engineering. Electronics. Nuclear engineering
TK1-9971
Electronics
TK7800-8360
Źródło:: Leibniz Transactions on Embedded Systems, Vol 8, Iss 2, Pp 03:1-03:16 (2022)
Opis pliku:: electronic resource
Relacje:: https://drops.dagstuhl.de/storage/07lites/lites_vol008/lites_vol008_issue002/LITES.8.2.3/LITES.8.2.3.pdf; https://doaj.org/toc/2199-2002
Dostęp URL:: https://doaj.org/article/ee34da38eb9a4486abfd504881a63662 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Catoids and modal convolution algebras
Autorzy:: Fahrenberg, Uli
Johansen, ChristianAff2, IDs00012023008059_cor2
Struth, GeorgAff3, Aff4, IDs00012023008059_cor3
Ziemiański, Krzysztof; Pokaż więcej
Źródło:: Algebra universalis. 84(2)

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Posets with interfaces as a model for concurrency
Autorzy:: Fahrenberg, Uli
Johansen, Christian
Struth, Georg
Ziemiański, Krzysztof; Pokaż więcej
Źródło:: In Information and Computation May 2022 285 Part B

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Logical vs. behavioural specifications
Autorzy:: Beneš, Nikola
Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
Traonouez, Louis-Marie; Pokaż więcej
Źródło:: In Information and Computation April 2020 271

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A linear-time–branching-time spectrum for behavioral specification theories
Autorzy:: Fahrenberg, Uli
Legay, Axel; Pokaż więcej
Źródło:: In Journal of Logical and Algebraic Methods in Programming January 2020 110

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Computing Branching Distances Using Quantitative Games
Autorzy:: Fahrenberg, Uli
Legay, AxelAff11, Aff12
Quaas, Karin; Pokaż więcej
Źródło:: Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings. 11884:59-75

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Optimal and Robust Controller Synthesis : Using Energy Timed Automata with Uncertainty
Autorzy:: Bacci, Giovanni
Bouyer, Patricia
Fahrenberg, Uli
Larsen, Kim Guldstrand
Markey, Nicolas
Reynier, Pierre-Alain; Pokaż więcej
Źródło:: Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. 10951:203-221

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Model Checking Real-Time Systems
Autorzy:: Bouyer, Patricia
Fahrenberg, Uli
Larsen, Kim Guldstrand
Markey, NicolasAff5, Aff6
Ouaknine, JoëlAff9, Aff10
Worrell, James; Pokaż więcej
Źródło:: Handbook of Model Checking. :1001-1046

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Quantitative properties of featured automata
Autorzy:: Fahrenberg, Uli
Legay, AxelAff2, Aff3; Pokaż więcej
Źródło:: International Journal on Software Tools for Technology Transfer. 21(6):667-677

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
Autorzy:: Fahrenberg, Uli
Legay, Axel; Pokaż więcej
Źródło:: SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. 10139:49-61

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: The quantitative linear-time–branching-time spectrum
Autorzy:: Fahrenberg, Uli
Legay, Axel; Pokaż więcej
Źródło:: In Theoretical Computer Science 12 June 2014 538:54-69

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: *-Continuous Kleene -Algebras
Autorzy:: Ésik, Zoltán
Fahrenberg, Uli
Legay, Axel; Pokaż więcej
Źródło:: Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.. 9168:240-251

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Compositionality for Quantitative Specifications
Autorzy:: Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
Traonouez, Louis-Marie; Pokaż więcej
Źródło:: Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. 8997:306-324

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Compositionality for quantitative specifications
Autorzy:: Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
Traonouez, Louis-Marie; Pokaż więcej
Źródło:: Soft Computing: A Fusion of Foundations, Methodologies and Applications. 22(4):1139-1158

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Parametric and Quantitative Extensions of Modal Transition Systems
Autorzy:: Fahrenberg, Uli
Guldstrand Larsen, Kim
Legay, Axel
Traonouez, Louis-Marie; Pokaż więcej
Źródło:: From Programs to Systems. The Systems perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. 8415:84-97

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Specification Theories for Probabilistic and Real-Time Systems
Autorzy:: Fahrenberg, Uli
Legay, Axel
Traonouez, Louis-Marie; Pokaż więcej
Źródło:: From Programs to Systems. The Systems perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. 8415:98-117

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Sound Merging and Differencing for Class Diagrams
Autorzy:: Fahrenberg, Uli
Acher, MathieuAff18, Aff19
Legay, Axel
Wąsowski, Andrzej; Pokaż więcej
Źródło:: Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. 8411:63-78

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Measuring Global Similarity Between Texts
Autorzy:: Fahrenberg, Uli
Biondi, Fabrizio
Corre, Kevin
Jegourel, Cyrille
Kongshøj, Simon
Legay, Axel; Pokaż więcej
Źródło:: Statistical Language and Speech Processing : Second International Conference, SLSP 2014, Grenoble, France, October 14-16, 2014, Proceedings. 8791:220-232

Książka elektroniczna

na półce

Szczegóły

Wyświetlanie 1-20 z 123

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""Fahrenberg, Uli"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji