Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Schlagwort
- computer science 4 Treffer
- datavetenskap 4 Treffer
- abstraction 2 Treffer
- symbolic trajectory evaluation 2 Treffer
- testing 2 Treffer
-
45 weitere Werte:
- weak memory model 2 Treffer
- application programs 1 Treffer
- c (programming language) 1 Treffer
- cache coherence protocol 1 Treffer
- compositional verification 1 Treffer
- computer software 1 Treffer
- concurrent 1 Treffer
- concurrent program 1 Treffer
- cybe-physical systems 1 Treffer
- cyber physical system 1 Treffer
- cyber-physical systems 1 Treffer
- discrete event systems 1 Treffer
- distributed systems 1 Treffer
- dma 1 Treffer
- dynamic partial order reduction 1 Treffer
- embedded systems 1 Treffer
- engines 1 Treffer
- erlang 1 Treffer
- experimentation 1 Treffer
- extended finite-state machines 1 Treffer
- fault detection 1 Treffer
- formal verification 1 Treffer
- functional languages 1 Treffer
- generation method 1 Treffer
- information technology 1 Treffer
- informationsteknik 1 Treffer
- integer programming 1 Treffer
- learning models 1 Treffer
- learning systems 1 Treffer
- maintainability 1 Treffer
- maintenance engineering 1 Treffer
- multicore programming 1 Treffer
- non-blocking 1 Treffer
- observers 1 Treffer
- parallel 1 Treffer
- program repair 1 Treffer
- protocol 1 Treffer
- reinforcement learning 1 Treffer
- reinforcement learnings 1 Treffer
- reliability 1 Treffer
- repair 1 Treffer
- runtime 1 Treffer
- runtimes 1 Treffer
- semantics 1 Treffer
- software 1 Treffer
Publikation
- upmarc digital comprehensive summaries of uppsala dissertations from the faculty of science and technology 2 Treffer
- acm transactions on computer systems 1 Treffer
- formal methods in system design 1 Treffer
- ieee transactions on software engineering 1 Treffer
- lecture notes in computer science 1 Treffer
- Ein weiterer Wert:
Sprache
11 Treffer
-
In: IEEE Transactions on Software Engineering, Jg. 47 (2021), Heft 10, S. 2225-2241Online unknownZugriff:
-
In: Lecture Notes in Computer Science, 2024, S. 70-74Online unknownZugriff:
-
In: UPMARC Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, 2018Online unknownZugriff:
-
In: UPMARC RELEASE Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, 2018Online unknownZugriff:
-
In: ACM Transactions on Computer Systems, Jg. 28 (2010), Heft 1Online unknownZugriff:
-
In: UPMARC Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, 2019Online unknownZugriff:
-
In: Formal methods in system design, Jg. 39 (2011), Heft 1, S. 83-113Online unknownZugriff:
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Jg. 3395 (2005), S. 140-154unknownZugriff:
-
In: Octopi: Säker Programering för Sakernas Internet 24th International Symposium on Formal Methods, FM 2021, Virtual, Online Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Jg. 13047 LNCS (2021), S. 697-716unknownZugriff:
-
In: 13th IEEE Conference on Automation Science and Engineering, CASE 2017, Xi'an, China IEEE International Conference on Automation Science and Engineering, Jg. 2017-August (2017), S. 932-937unknownZugriff: