Erscheinungsjahr
Format
Lizenz
Synonyme wurden verwendet für: State Machine
Suche ohne Synonyme: keywords:("State Machine")
Verwendete Synonyme:
- zustandsmaschine
-
Lectures on runtime verification : introductory and advanced topics
TIBKAT | 2018|Schlagwörter: Zustandsmaschine -
20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019
TIBKAT | 2019|Schlagwörter: Zustandsmaschine -
Logische und methodische Grundlagen der Entwicklung verteilter Systeme
TIBKAT | 2023|Schlagwörter: Zustandsmaschine -
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Verifying System-Level Security of a Smart Ballot Box
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Formalizing the Institution for Event-B in the Coq Proof Assistant
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Validation of Formal Models by Timed Probabilistic Simulation
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
About the Concolic Execution and Symbolic ASM Function Promotion in CASM
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Proving the Safety of a Sliding Window Protocol with Event-B
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, proceedings
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Sterling: A Web-Based Visualizer for Relational Modeling Languages
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
Towards ASM-Based Automated Formal Verification of Security Protocols
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine -
A Modeling and Verification Framework for Security Protocols
TIBKAT | 2021|Schlagwörter: Abstrakte Zustandsmaschine
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.