Hard real-time development environments

J.C.M. Baeten; P. Baufreton; A. Benveniste; S. Boutin; B. Bouyssounouse; D. Brière; P. Caspi; W. Damm; E. Fuchs; V. Gafni; T. Gautier; D. Goshen; G. Gruensteidl; N. Halbwachs; H. Kopetz; K.G. Larsen; H. Le Berre; R. Leupers; B. Nielsen; E.-R. Olderog; Y. Papadopoulos; P. Peti; M. Pisecky; P. Puschner; J. Rennhack; A. Sangiovanni-Vincentelli; C. Scheidler; A. Skou; Y. Sorel; U. Virnich; B. Vogel-Heuser; R. Wilhelm; T.A.C. Willemse

doi:10.1007/978-3-540-31973-3_2

Hard real-time development environments

J.C.M. Baeten, P. Baufreton, A. Benveniste, S. Boutin, B. Bouyssounouse, D. Brière, P. Caspi, W. Damm, E. Fuchs, V. Gafni, T. Gautier, D. Goshen, G. Gruensteidl, N. Halbwachs, H. Kopetz, K.G. Larsen, H. Le Berre, R. Leupers, B. Nielsen, E.-R. OlderogY. Papadopoulos, P. Peti, M. Pisecky, P. Puschner, J. Rennhack, A. Sangiovanni-Vincentelli, C. Scheidler, A. Skou, Y. Sorel, U. Virnich, B. Vogel-Heuser, R. Wilhelm, T.A.C. Willemse

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

1 Downloads (Pure)

Abstract

No abstract.

Original language	English
Title of host publication	Embedded systems design: the ARTIST roadmap for research and development
Editors	B. Bouyssounouse, J. Sifakis
Place of Publication	Berlin
Publisher	Springer
Pages	1-102
ISBN (Print)	3-540-25107-3
DOIs	https://doi.org/10.1007/978-3-540-31973-3_2
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Volume	3436
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-540-31973-3_2

Cite this

Baeten, J. C. M., Baufreton, P., Benveniste, A., Boutin, S., Bouyssounouse, B., Brière, D., Caspi, P., Damm, W., Fuchs, E., Gafni, V., Gautier, T., Goshen, D., Gruensteidl, G., Halbwachs, N., Kopetz, H., Larsen, K. G., Le Berre, H., Leupers, R., Nielsen, B., ... Willemse, T. A. C. (2005). Hard real-time development environments. In B. Bouyssounouse, & J. Sifakis (Eds.), Embedded systems design: the ARTIST roadmap for research and development (pp. 1-102). (Lecture Notes in Computer Science; Vol. 3436). Springer. https://doi.org/10.1007/978-3-540-31973-3_2

@inbook{fef1ec6b90c64d488294844f450d9bb4,

title = "Hard real-time development environments",

abstract = "No abstract.",

author = "J.C.M. Baeten and P. Baufreton and A. Benveniste and S. Boutin and B. Bouyssounouse and D. Bri{\`e}re and P. Caspi and W. Damm and E. Fuchs and V. Gafni and T. Gautier and D. Goshen and G. Gruensteidl and N. Halbwachs and H. Kopetz and K.G. Larsen and {Le Berre}, H. and R. Leupers and B. Nielsen and E.-R. Olderog and Y. Papadopoulos and P. Peti and M. Pisecky and P. Puschner and J. Rennhack and A. Sangiovanni-Vincentelli and C. Scheidler and A. Skou and Y. Sorel and U. Virnich and B. Vogel-Heuser and R. Wilhelm and T.A.C. Willemse",

year = "2005",

doi = "10.1007/978-3-540-31973-3_2",

language = "English",

isbn = "3-540-25107-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--102",

editor = "B. Bouyssounouse and J. Sifakis",

booktitle = "Embedded systems design: the ARTIST roadmap for research and development",

address = "Germany",

}

Baeten, JCM, Baufreton, P, Benveniste, A, Boutin, S, Bouyssounouse, B, Brière, D, Caspi, P, Damm, W, Fuchs, E, Gafni, V, Gautier, T, Goshen, D, Gruensteidl, G, Halbwachs, N, Kopetz, H, Larsen, KG, Le Berre, H, Leupers, R, Nielsen, B, Olderog, E-R, Papadopoulos, Y, Peti, P, Pisecky, M, Puschner, P, Rennhack, J, Sangiovanni-Vincentelli, A, Scheidler, C, Skou, A, Sorel, Y, Virnich, U, Vogel-Heuser, B, Wilhelm, R & Willemse, TAC 2005, Hard real-time development environments. in B Bouyssounouse & J Sifakis (eds), Embedded systems design: the ARTIST roadmap for research and development. Lecture Notes in Computer Science, vol. 3436, Springer, Berlin, pp. 1-102. https://doi.org/10.1007/978-3-540-31973-3_2

Hard real-time development environments. / Baeten, J.C.M.; Baufreton, P.; Benveniste, A. et al.
Embedded systems design: the ARTIST roadmap for research and development. ed. / B. Bouyssounouse; J. Sifakis. Berlin: Springer, 2005. p. 1-102 (Lecture Notes in Computer Science; Vol. 3436).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Hard real-time development environments

AU - Baeten, J.C.M.

AU - Baufreton, P.

AU - Benveniste, A.

AU - Boutin, S.

AU - Bouyssounouse, B.

AU - Brière, D.

AU - Caspi, P.

AU - Damm, W.

AU - Fuchs, E.

AU - Gafni, V.

AU - Gautier, T.

AU - Goshen, D.

AU - Gruensteidl, G.

AU - Halbwachs, N.

AU - Kopetz, H.

AU - Larsen, K.G.

AU - Le Berre, H.

AU - Leupers, R.

AU - Nielsen, B.

AU - Olderog, E.-R.

AU - Papadopoulos, Y.

AU - Peti, P.

AU - Pisecky, M.

AU - Puschner, P.

AU - Rennhack, J.

AU - Sangiovanni-Vincentelli, A.

AU - Scheidler, C.

AU - Skou, A.

AU - Sorel, Y.

AU - Virnich, U.

AU - Vogel-Heuser, B.

AU - Wilhelm, R.

AU - Willemse, T.A.C.

PY - 2005

Y1 - 2005

N2 - No abstract.

AB - No abstract.

U2 - 10.1007/978-3-540-31973-3_2

DO - 10.1007/978-3-540-31973-3_2

M3 - Chapter

SN - 3-540-25107-3

T3 - Lecture Notes in Computer Science

SP - 1

EP - 102

BT - Embedded systems design: the ARTIST roadmap for research and development

A2 - Bouyssounouse, B.

A2 - Sifakis, J.

PB - Springer

CY - Berlin

ER -

Hard real-time development environments

Abstract

Publication series

Access to Document

Fingerprint

Cite this