Year of publication
Type of material
Licence
Synonyms were used for: State Machine
Search without synonyms: keywords:("State Machine")
Used synonyms:
- zustandsmaschine
-
Lectures on runtime verification : introductory and advanced topics
TIBKAT | 2018|Keywords: Zustandsmaschine -
20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019
TIBKAT | 2019|Keywords: Zustandsmaschine -
Logische und methodische Grundlagen der Entwicklung verteilter Systeme
TIBKAT | 2023|Keywords: Zustandsmaschine -
About the Concolic Execution and Symbolic ASM Function Promotion in CASM
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Proving the Safety of a Sliding Window Protocol with Event-B
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, proceedings
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Sterling: A Web-Based Visualizer for Relational Modeling Languages
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Towards ASM-Based Automated Formal Verification of Security Protocols
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Formalizing the Institution for Event-B in the Coq Proof Assistant
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Validation of Formal Models by Timed Probabilistic Simulation
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Verifying System-Level Security of a Smart Ballot Box
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.