Analysis of Executable Software Models (Englisch)
- Neue Suche nach: Bubel, R.
- Neue Suche nach: Montoya, A.F.
- Neue Suche nach: Hahnle, R.
- Neue Suche nach: Bubel, R.
- Neue Suche nach: Montoya, A.F.
- Neue Suche nach: Hahnle, R.
- Neue Suche nach: Bernardo, Marco
In:
International School on Formal Methods for the Design of Computer, Communication, and Software Systems; Formal methods for executable software models
8483
;
1-25
;
2014
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Analysis of Executable Software Models
-
Beteiligte:
-
Kongress:14th, International School on Formal Methods for the Design of Computer, Communication, and Software Systems; Formal methods for executable software models ; 2014 ; Bertinoro, Italy
-
Erschienen in:LECTURE NOTES IN COMPUTER SCIENCE , 8483 ; 1-25
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.01.2014
-
Format / Umfang:25 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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.
- 1
-
Analysis of Executable Software ModelsBubel, R. / Montoya, A.F. / Hahnle, R. et al. | 2014
- 26
-
Deadlock Detection in Linear Recursive ProgramsGiachino, E. / Laneve, C. et al. | 2014
- 65
-
Counterexample Generation for Discrete-Time Markov Models: An Introductory SurveyAbraham, E. / Becker, B. / Dehnert, C. / Jansen, N. / Katoen, J.-P. / Wimmer, R. et al. | 2014
- 122
-
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsGmeiner, A. / Konnov, I. / Schmid, U. / Veith, H. / Widder, J. et al. | 2014
- 172
-
Verification of Concurrent Systems with VerCorsAmighi, A. / Blom, S. / Darabi, S. / Huisman, M. / Mostowski, W. / Zaharieva-Stojanovski, M. et al. | 2014
- 217
-
Combining Monitoring with Run-Time Assertion Checkingde Boer, F.S. / de Gouw, S. et al. | 2014
- 263
-
Test Case Generation by Symbolic Execution; Basic Concepts, a CLP-Based Instance, and Actor-Based ConcurrencyAlbert, E. / Arenas, P. / Gomez-Zamalloa, M. / Rojas, J.M. et al. | 2014
- 310
-
Model-Based TestingLochau, M. / Pledszus, S. / Kowal, M. / Schaefer, I. et al. | 2014