Modeling and analyzing spike timing dependent plasticity with linear hybrid automata
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical Report, Chair for Software Engineering, University of Konstanz ; soft-11-03
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2012
- Urheber
-
Bey, Alina
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-196156
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bey, Alina
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2012
Ähnliche Objekte (12)
Timing Constraints in Message Sequence Chart Specifications
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
QoS Specification Based on SDL/MSC and Temporal Logic
On the Synergy of Probabilistic Causality Computation and Causality Checking
Optimization techniques for parallel protocol implementation
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
Counterexamples for Model Checking of Markov Decision Processes
Syntactic Analysis of Message Sequence Chart Specifications
Explicit state model checking in the development process for interlocking software systems
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
Timing Constraints in Message Sequence Chart Specifications
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
QoS Specification Based on SDL/MSC and Temporal Logic
On the Synergy of Probabilistic Causality Computation and Causality Checking
Optimization techniques for parallel protocol implementation
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
Counterexamples for Model Checking of Markov Decision Processes
Syntactic Analysis of Message Sequence Chart Specifications
Explicit state model checking in the development process for interlocking software systems
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
Timing Constraints in Message Sequence Chart Specifications
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
QoS Specification Based on SDL/MSC and Temporal Logic
On the Synergy of Probabilistic Causality Computation and Causality Checking
Optimization techniques for parallel protocol implementation
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
Counterexamples for Model Checking of Markov Decision Processes
Syntactic Analysis of Message Sequence Chart Specifications
Explicit state model checking in the development process for interlocking software systems