Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: nid=4619739-4



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4619739-4
Sachbegriff Bisimulation
Quelle Lex. Informatik
Wikipedia
Oberbegriffe Automatentheorie
DDC-Notation 004.0151135
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Thema in 17 Publikationen
  1. The class of timed automata with quasi-equal clocks
    Herrera, Christian. - Freiburg : Universität, 2018
  2. Bisimulations and model refinement
    Glück, Roland. - Berlin : Pro Business, 2015, 1. Aufl.
  3. ...
Maschinell verknüpft mit 1 Publikation
  1. Dynamische Modellanalyse von Metamodellen mit operationaler Semantik
    Soden, Michael. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration