Zobrazeno 1 - 9
of 9
pro vyhledávání: '"M. Carnot"'
Publikováno v:
ISSRE
A description is given of the process of software development for critical systems using the B-Methodology designed by J.R. Abrial. The author explains the insights of the B formal development process: specification and implementation through refinem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1fe77cd0925dab7852c249b63ab4b140
https://doi.org/10.1109/issre.1992.285893
https://doi.org/10.1109/issre.1992.285893
Publikováno v:
Transfusion Clinique et Biologique. 19:310
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46daadba8b380b0723ff8779feeff0ac
https://doi.org/10.1016/j.tracli.2012.08.126
https://doi.org/10.1016/j.tracli.2012.08.126
Autor:
H. Curé, C. Vin, S. Simon, L. Decaudin, C. Gaujard, C. Prouvost, I. Devie, S. Doremus-Richard, M.-C. Legros, S. Cognigni-Roger, M. Carnot, M. Bosserelle, C. Incatasciato, T. Gotte, S. Renaud, M. Bonnard, L. Auzeau, D. Welter, D. Toussaint
Publikováno v:
Transfusion Clinique et Biologique. 19:303
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a69f5934f25cae3a3b9a529ed7721ed
https://doi.org/10.1016/j.tracli.2012.08.105
https://doi.org/10.1016/j.tracli.2012.08.105
Autor:
M. Carnot
Publikováno v:
The Philosophical Magazine. 30:207-221
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11c924004815f7c7e04a6bf162af8299
https://doi.org/10.1080/14786440808563805
https://doi.org/10.1080/14786440808563805
Autor:
M. Carnot
Publikováno v:
The Philosophical Magazine. 30:8-15
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4fb4eeb969bc212ff0d35bcad7b14fd
https://doi.org/10.1080/14786440808563758
https://doi.org/10.1080/14786440808563758
Autor:
M. Carnot
Publikováno v:
The Philosophical Magazine. 31:28-36
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::518d326d86eae37b72a5ae8835e41785
https://doi.org/10.1080/14786440808563844
https://doi.org/10.1080/14786440808563844
Autor:
M. Carnot
Publikováno v:
The Philosophical Magazine. 31:295-305
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::42c2099cf7aee71f885526fc72cb591c
https://doi.org/10.1080/14786440808563903
https://doi.org/10.1080/14786440808563903
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.
Conference
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.