Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Do, Huy Vu"'
Autor:
Do, Huy Vu Xuan, Srikumar, Nirosha
Publikováno v:
Do, Huy Vu Xuan, Srikumar, Nirosha, . Medikamenters nevroprotektive virkning på Parkinson sykdom. Prosjektoppgave, University of Oslo, 2010
Externí odkaz:
http://hdl.handle.net/10852/28901
https://www.duo.uio.no/bitstream/handle/10852/28901/3/Prosjektoppgave.pdf
https://www.duo.uio.no/bitstream/handle/10852/28901/3/Prosjektoppgave.pdf
Publikováno v:
Proceedings of the 3rd European Congress: Embedded Real-Time Software
The 3rd European Congress: Embedded Real-Time Software
The 3rd European Congress: Embedded Real-Time Software, Jan 2006, Toulouse, France. pp.R-2006-01-7B1
The 3rd European Congress: Embedded Real-Time Software
The 3rd European Congress: Embedded Real-Time Software, Jan 2006, Toulouse, France. pp.R-2006-01-7B1
International audience; Reactive Real-Time Systems require very high level of confidence. The validation, which ensures the confidence of these systems, is often difficult and expensive. A testability analysis at the design phase of a system can iden
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bcce5539c194d3e0dd6ef1340763bebd
https://hal.archives-ouvertes.fr/hal-00271960
https://hal.archives-ouvertes.fr/hal-00271960
Publikováno v:
Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications
The Eighth IASTED International Conference on Software Engineering and Applications
The Eighth IASTED International Conference on Software Engineering and Applications, Nov 2004, Cambridge, United States. pp.318-323
The Eighth IASTED International Conference on Software Engineering and Applications
The Eighth IASTED International Conference on Software Engineering and Applications, Nov 2004, Cambridge, United States. pp.318-323
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4f164fac4364bcf3bf40fd2e3b542d71
https://hal.archives-ouvertes.fr/hal-00274970
https://hal.archives-ouvertes.fr/hal-00274970
Publikováno v:
Proceedings of the IASTED International Conference on Software Engineering SE 2007
The IASTED International Conference on Software Engineering SE 2007
The IASTED International Conference on Software Engineering SE 2007, Feb 2007, Innsbruck, Austria. pp.Track 552-155
The IASTED International Conference on Software Engineering SE 2007
The IASTED International Conference on Software Engineering SE 2007, Feb 2007, Innsbruck, Austria. pp.Track 552-155
International audience; In this paper, we present our approach to analyze the testability of data-flow designs of reactive systems. We use the SATAN technology which is based on the information theory to model the information transfer in the system.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::996969280b53ac04fb8620ca8b32bd55
https://hal.archives-ouvertes.fr/hal-00275887
https://hal.archives-ouvertes.fr/hal-00275887
Publikováno v:
Proceedings of the IEEE 1st International Workshop on Testability Assessment
The IEEE 1st International Workshop on Testability Assessment
The IEEE 1st International Workshop on Testability Assessment, Nov 2004, Rennes, France. page 52-61
The IEEE 1st International Workshop on Testability Assessment
The IEEE 1st International Workshop on Testability Assessment, Nov 2004, Rennes, France. page 52-61
International audience; Reactive real-time systems require a very high level of confidence. The validation of these systems is very important since it ensures the confidence in these systems. Two main activities of the validation are the proof of som
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70a5196226d4b0fa5af8d3f82da7af74
https://hal.archives-ouvertes.fr/hal-00275648
https://hal.archives-ouvertes.fr/hal-00275648