Zobrazeno 1 - 3
of 3
pro vyhledávání: '"H. ROUX, Olivier"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
David, Alexandre, Behrmann, Gerd, Larsen, Kim Guldstrand, Rasmussen, Jacob Illum, BÉRARD, Béatrice, GIRARD, Antoine, HADDAD, Serge, CASSEZ, Franck, JARD, Claude, DANG, Thao, LE GERNIC, Colas, DONATELLI, Susanna, LIME, Didier, ELLOY, Jean-Pierre, MAGNIN, Morgan, FREHSE, Goran, MARKEY, Nicolas, PETTERSSON, Paul, TRIPAKIS, Stavros, Yi, Wang, H. ROUX, Olivier
Publikováno v:
David, A, Behrmann, G, Larsen, K G, Rasmussen, J I, BÉRARD, B, GIRARD, A, HADDAD, S, CASSEZ, F, JARD, C, DANG, T, LE GERNIC, C, DONATELLI, S, LIME, D, ELLOY, J-P, MAGNIN, M, FREHSE, G, MARKEY, N, PETTERSSON, P, TRIPAKIS, S, Yi, W & H. ROUX, O 2008, Approches formelles des systèmes embarqués communicants . Hermés Science Publications .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c531fc4b0105b3b9cdc6d8fc4412781e
https://vbn.aau.dk/da/publications/11dc3c80-db22-11dd-a016-000ea68e967b
https://vbn.aau.dk/da/publications/11dc3c80-db22-11dd-a016-000ea68e967b
Autor:
Peter Bulychev, Paul Pettersson, Morgan Magnin, Wang Yi, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Joakim Byg, Gerd Behrmann, Didier Lime, Jiri Srba, Thomas Chatain, Olivier Roux, Alexandre David, Kenneth Y. Joergensen, Louis Marie Traonouez
Publikováno v:
David, A, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Larsen, K G, Pettersson, P, Rasmussen, J I, Srba, J, Yi, W, Joergensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L M 2013, Tools for Model-Checking Timed Systems . in C Jard & O H. Roux (eds), Communicating Embedded Systems: Software and Design: Formal Methods . Wiley, pp. 165-225 . https://doi.org/10.1002/9781118558188.ch6
Aalborg University
David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 .
Communicating Embedded Systems: Software and Design: Formal Methods
Aalborg University
David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 .
Communicating Embedded Systems: Software and Design: Formal Methods
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::024ccdc25a469599b1dea37374607d90
https://vbn.aau.dk/da/publications/68299ca7-4fec-4b81-8eca-c6e15f5966f3
https://vbn.aau.dk/da/publications/68299ca7-4fec-4b81-8eca-c6e15f5966f3