Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- model checking 5 Treffer
- a 1 Treffer
- algorithm selection 1 Treffer
- atomicity 1 Treffer
- bounded model checking 1 Treffer
-
36 weitere Werte:
- code generation 1 Treffer
- code validation 1 Treffer
- concurrency 1 Treffer
- ctl 1 Treffer
- digital filters 1 Treffer
- domain specific languages 1 Treffer
- formal specification 1 Treffer
- graph kernels 1 Treffer
- hdl 1 Treffer
- interlocking 1 Treffer
- isochrony 1 Treffer
- linear system 1 Treffer
- machine learning 1 Treffer
- model transformation 1 Treffer
- model transformations 1 Treffer
- multi-threading 1 Treffer
- neural networks 1 Treffer
- partial order reduction 1 Treffer
- program slicing 1 Treffer
- railway 1 Treffer
- real time 1 Treffer
- reuse 1 Treffer
- runtime 1 Treffer
- sampling 1 Treffer
- signal 1 Treffer
- simulation 1 Treffer
- software validation 1 Treffer
- statistical model checking 1 Treffer
- survey 1 Treffer
- system-on-chip 1 Treffer
- testing 1 Treffer
- timed automata 1 Treffer
- tn402 1 Treffer
- uppaal 1 Treffer
- variability 1 Treffer
- verilog 1 Treffer
Verlag
Publikation
- international journal on software tools for technology transfer 5 Treffer
- formal aspects of computing: applicable formal methods 2 Treffer
- formal methods in system design: an international journal 2 Treffer
- automated software engineering: an international journal 1 Treffer
- autonomous agents and multi-agent systems 1 Treffer
- 4 weitere Werte:
Sprache
15 Treffer
-
In: Formal Aspects of Computing: Applicable Formal Methods, Jg. 33 (2021-12-01), Heft 6, S. 1147-1172Online academicJournalZugriff:
-
In: Formal Aspects of Computing: Applicable Formal Methods, 2017-10-09, S. 1-25Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 13 (2011-11-01), Heft 6, S. 495-518Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 16 (2014-04-01), Heft 2, S. 175-190Online academicJournalZugriff:
-
In: Software and Systems Modeling, 2023-11-16, S. 1-16Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 21 (2019-10-01), Heft 5, S. 545-565Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 25 (2023-08-01), Heft 4, S. 519-520Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 24 (2022-06-01), Heft 3, S. 441-472Online academicJournalZugriff:
-
In: Autonomous Agents and Multi-Agent Systems, Jg. 36 (2022-04-01), Heft 1Online academicJournalZugriff:
-
In: Automated Software Engineering: An International Journal, Jg. 27 (2020-06-01), Heft 1-2, S. 153-186Online academicJournalZugriff:
-
In: Complex Adaptive Systems Modeling, Jg. 4 (2016-12-01), Heft 1, S. 1-33Online academicJournalZugriff:
-
In: Software & Systems Modeling, Jg. 14 (2015-05-01), Heft 2, S. 1003-1028Online academicJournalZugriff:
-
In: Formal Methods in System Design: An International Journal, Jg. 35 (2009-08-01), Heft 1, S. 73-97Online academicJournalZugriff:
-
In: Journal of Zhejiang University-SCIENCE A: Applied Physics & Engineering, Jg. 5 (2004-09-01), Heft 9, S. 1102-1105Online academicJournalZugriff:
-
In: Formal Methods in System Design: An International Journal, Jg. 19 (2001-07-01), Heft 1, S. 81-110Online academicJournalZugriff: