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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

1 Downloads (Pure)

Samenvatting

No abstract.

Originele taal-2	Engels
Titel	Embedded systems design: the ARTIST roadmap for research and development
Redacteuren	B. Bouyssounouse, J. Sifakis
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	1-102
ISBN van geprinte versie	3-540-25107-3
DOI's	https://doi.org/10.1007/978-3-540-31973-3_2
Status	Gepubliceerd - 2005

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	3436
ISSN van geprinte versie	0302-9743

Toegang tot document

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

Citeer dit

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 (editors), Embedded systems design: the ARTIST roadmap for research and development (blz. 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 (redactie), Embedded systems design: the ARTIST roadmap for research and development. Lecture Notes in Computer Science, vol. 3436, Springer, Berlin, blz. 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. redactie / B. Bouyssounouse; J. Sifakis. Berlin: Springer, 2005. blz. 1-102 (Lecture Notes in Computer Science; Vol. 3436).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › 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

Samenvatting

Publicatie series

Toegang tot document

Vingerafdruk

Citeer dit