Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mu crl 10 Treffer
- in-process algebra 4 Treffer
- protocol 4 Treffer
- protocol verification 4 Treffer
- verification 4 Treffer
-
27 weitere Werte:
- model checking 3 Treffer
- branching bisimulation 2 Treffer
- checking 2 Treffer
- mu-calculus 2 Treffer
- proof 2 Treffer
- pvs 2 Treffer
- specification 2 Treffer
- systems 2 Treffer
- abstract interpretation 1 Treffer
- abstraction 1 Treffer
- acp 1 Treffer
- automata 1 Treffer
- branching time 1 Treffer
- calculus 1 Treffer
- communication protocols 1 Treffer
- completeness 1 Treffer
- crl 1 Treffer
- hybrid systems 1 Treffer
- infinite state systems 1 Treffer
- modal mu-calculus 1 Treffer
- parallelism 1 Treffer
- program analysis 1 Treffer
- real-time 1 Treffer
- sliding window protocol 1 Treffer
- timed transition systems 1 Treffer
- translation validation 1 Treffer
- transmission control protocol 1 Treffer
Verlag
Publikation
Sprache
14 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: