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 -
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
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 -
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 -
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 -
A Modeling and Verification Framework for Security Protocols
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework
TIBKAT | 2021|Keywords: Abstrakte Zustandsmaschine -
A method for the automated generation of requirements and traceability for a distributed avionics platform
TIBKAT | 2020|Keywords: Abstrakte Zustandsmaschine -
Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen
TIBKAT | 2018|Keywords: Zustandsmaschine -
A real-time stress classification system based on arousal analysis of the nervous system by an F-state machine
Elsevier | 2017|Keywords: Finite-state machine -
Testing Cyber-Physical Systems Using Timed Finite State Machines
Online Contents | 2017|Keywords: timed finite state machine, finite state machine -
Testing Cyber-Physical Systems Using Timed Finite State Machines
Online Contents | 2017|Keywords: timed finite state machine, finite state machine -
A Refinement Method for Java Programs
Free accessBASE | 2006|Keywords: Abstrakte Zustandsmaschine -
Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation
TIBKAT | 2009|Keywords: Abstrakte Zustandsmaschine -
Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation
Free accessTIBKAT | 2009|Keywords: Abstrakte Zustandsmaschine -
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
Free accessBASE | 2006|Keywords: Abstrakte Zustandsmaschine -
Performance and robustness of bio-inspired digital liquid state machines: A case study of speech recognition
Elsevier | 2016|Keywords: Liquid state machine -
Abstract state machines : verification problems and complexity
Free accessTIBKAT | 2000|Keywords: Abstrakte Zustandsmaschine -
Incorporating the Raft consensus protocol in containers managed by Kubernetes: an evaluation
Taylor & Francis Verlag | 2020|Keywords: state machine replication -
ptype: probabilistic type inference
Free accessOnline Contents | 2020|Keywords: Probabilistic finite-state machine -
An Adaptive Step Detection Algorithm Based on the State Machine
Tema Archive | 2015|Keywords: Zustandsmaschine -
Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs
Online Contents | 2017|Keywords: Finite state machine -
State Machine Replication Is More Expensive Than Consensus
Free accessDataCite | 2018|Keywords: State machine replication -
Refinement and implementation techniques for Abstract State Machines
TIBKAT | 2002|Keywords: Abstrakte Zustandsmaschine -
Toward higher-level abstractions based on state machine for cloud resources elasticity
Elsevier | 2019|Keywords: State machine -
Complete abstract operational semantics for the web service business process execution language
TIBKAT | 2005|Keywords: Abstrakte Zustandsmaschine -
Improving Finite State Impedance Control of Active-Transfemoral Prosthesis Using Dempster-Shafer Based State Transition Rules
Online Contents | 2013|Keywords: Finite state machine -
Improved Byzantine fault tolerance with fast consensus
Wiley | 2022|Keywords: state machine replication -
Improving Finite State Impedance Control of Active-Transfemoral Prosthesis Using Dempster-Shafer Based State Transition Rules
Online Contents | 2013|Keywords: Finite state machine -
Efficient Checkpointing in Byzantine Fault-Tolerant Systems
DataCite | 2019|Keywords: State-Machine Replication -
High Robustness Memristor Neural State Machines
American Chemical Society | 2020|Keywords: neural state machine
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.