Enhancing random walk state space exploration (Englisch)
- Neue Suche nach: Pelanek, Radek
- Neue Suche nach: Hanzl, Tomas
- Neue Suche nach: Cerna, Ivana
- Neue Suche nach: Brim, Lubos
- Neue Suche nach: Pelanek, Radek
- Neue Suche nach: Hanzl, Tomas
- Neue Suche nach: Cerna, Ivana
- Neue Suche nach: Brim, Lubos
In:
FMICS, International Workshop on Formal Methods for Industrial Critical Systems, 10
;
98-105
;
2005
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Enhancing random walk state space exploration
-
Beteiligte:Pelanek, Radek ( Autor:in ) / Hanzl, Tomas ( Autor:in ) / Cerna, Ivana ( Autor:in ) / Brim, Lubos ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: ACM - Association for Computing Machinery
-
Erscheinungsort:New York
-
Erscheinungsdatum:2005
-
Format / Umfang:8 Seiten, 3 Bilder, 2 Tabellen, 24 Quellen
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 2
-
Quantitative analysis of distributed randomized protocolsBaier, Christel / Ciesinski, Frank / Groesser, Marcus et al. | 2005
- 17
-
Model checking software with well-defined APIs: the socket caseCamara, P. de la / Gallardo, M.M. / Merino, P. / Sanan, D. et al. | 2005
- 44
-
Echo: a practical approach to formal verificationStrunk, Elisabeth A. / Yin, Xiang / Knight, John C. et al. | 2005
- 72
-
Developing critical systems with PLD componentsHilton, Adrian / Hall, Jon G. et al. | 2005
- 98
-
Enhancing random walk state space explorationPelanek, Radek / Hanzl, Tomas / Cerna, Ivana / Brim, Lubos et al. | 2005
- 106
-
Toward a formal model for component interfaces for real-time systemsHung, Dang Van et al. | 2005
- 115
-
An approach to the pervasive formal specification and verification of an automotive systemRieden, Tom in der / Knapp, Steffen et al. | 2005
- 125
-
Requirements of an integrated formal method for intelligent swarmsHinchey, M.G. / Rouff, C.A. / Rash, J.L. / Truszkowski, W.F. et al. | 2005
- 134
-
Instantiating generic charts for Railway Interlocking SystemsBanci, Michele / Fantechi, Alessandro et al. | 2005