Properties of two’s complement floating point notations (English)
- New search for: Boldo, Sylvie
- New search for: Daumas, Marc
- New search for: Boldo, Sylvie
- New search for: Daumas, Marc
In:
International Journal on Software Tools for Technology Transfer
;
5
, 2-3
; 237-246
;
2004
-
ISSN:
- Article (Journal) / Print
-
Title:Properties of two’s complement floating point notations
-
Contributors:Boldo, Sylvie ( author ) / Daumas, Marc ( author )
-
Published in:International Journal on Software Tools for Technology Transfer ; 5, 2-3 ; 237-246
-
Publisher:
- New search for: Springer Berlin Heidelberg
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2004
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.52 Software engineering -
Source:
Table of contents – Volume 5, Issue 2-3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 105
-
Introductory papervan de Pol, Jaco et al. | 2004
- 107
-
Lightweight coarse-grained coordination: a scalable system-level approachMargaria, Tiziana / Steffen, Bernhard et al. | 2004
- 124
-
Validation and automatic test generation on UML models: the AGATHA approachLugato, David / Bigot, Céline / Valot, Yannick / Gallois, Jean-Pierre / Gérard, Sébastien / Terrier, François et al. | 2004
- 140
-
Model-based testing for realPretschner, A. / Slotosch, O. / Aiglstorfer, E. / Kriebel, S. et al. | 2004
- 158
-
Counter-example generation in symbolic abstract model-checkingPace, Gordon / Halbwachs, Nicolas / Raymond, Pascal et al. | 2004
- 165
-
αSPIN: A tool for abstract model checkingdel Mar Gallardo, María / Martínez, Jesús / Merino, Pedro / Pimentel, Ernesto et al. | 2004
- 165
-
alphaSPIN: A tool for abstract model checkingdel Mar Gallardo, M. / Martinez, J. / Merino, P. / Pimentel, E. et al. | 2004
- 185
-
Efficient reduction of finite state model checking to reachability analysisSchuppan, Viktor / Biere, Armin et al. | 2004
- 205
-
Development of a verified Erlang program for resource lockingArts, Thomas / Benac Earle, Clara / Derrick, John et al. | 2004
- 221
-
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISMDaws, Conrado / Kwiatkowska, Marta / Norman, Gethin et al. | 2004
- 237
-
Properties of two’s complement floating point notationsBoldo, Sylvie / Daumas, Marc et al. | 2004
- 247
-
Directed explicit-state model checking in the validation of communication protocolsEdelkamp, Stefan / Leue, Stefan / Lluch-Lafuente, Alberto et al. | 2004
- 268
-
Covering sharing trees: a compact data structure for parameterized verificationDelzanno, Giorgio / Raskin, Jean-François / Van Begin, Laurent et al. | 2004