- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Model-based validation of intelligence : papers from the 2001 AAAI symposium ; March 26 - 28, Stanford, California, 2001
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2008
- Creator
-
Edelkamp, Stefan
Lluch-Lafuente, Alberto
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-opus-65172
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Edelkamp, Stefan
- Lluch-Lafuente, Alberto
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2008
Other Objects (12)
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
Heuristic Search for Unbounded Executions
Heuristic-Guided Counterexample Search in FLAVERS
Optimization techniques for parallel protocol implementation
From SDL specifications to optimized parallel protocol implementations
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
Extended Directed Search for Probabilistic Timed Reachability
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
K* : heuristics-guided, on-the-fly k shortest paths search
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
Heuristic Search for Unbounded Executions
Heuristic-Guided Counterexample Search in FLAVERS
Optimization techniques for parallel protocol implementation
From SDL specifications to optimized parallel protocol implementations
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
Extended Directed Search for Probabilistic Timed Reachability
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
K* : heuristics-guided, on-the-fly k shortest paths search
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
Heuristic Search for Unbounded Executions
Heuristic-Guided Counterexample Search in FLAVERS
Optimization techniques for parallel protocol implementation
From SDL specifications to optimized parallel protocol implementations
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
Extended Directed Search for Probabilistic Timed Reachability
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
K* : heuristics-guided, on-the-fly k shortest paths search
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach