Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- compilers (computer programs) 2 Treffer
- interactive theorem proving 2 Treffer
- programming languages 2 Treffer
- verified compilation 2 Treffer
- adaptive computing systems 1 Treffer
-
20 weitere Werte:
- computational complexity 1 Treffer
- computer hardware description languages 1 Treffer
- computer security 1 Treffer
- computer simulation 1 Treffer
- discrete systems 1 Treffer
- hardware verification 1 Treffer
- hennessy-milner logic 1 Treffer
- high-level synthesis 1 Treffer
- integrated circuit verification 1 Treffer
- kripke semantics 1 Treffer
- machinery 1 Treffer
- mathematical formulas 1 Treffer
- maximal permissiveness 1 Treffer
- permissiveness 1 Treffer
- privacy 1 Treffer
- security 1 Treffer
- semantics 1 Treffer
- staircases 1 Treffer
- supervisory control 1 Treffer
- supervisory control systems 1 Treffer
Sprache
4 Treffer
-
In: ACM Transactions on Embedded Computing Systems, Jg. 22 (2023-10-02), S. 1-26Online academicJournalZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 20 (2021-09-02), S. 1-25Online academicJournalZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 18 (2019), Heft 1, S. 1-26Online academicJournalZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 14 (2015), Heft 1, S. 10:1- (21S.)Online academicJournalZugriff: