A Formal Component-Based Software Engineering Approach For Developing Trustworty Systems
Software systems are increasingly becoming ubiquitous, affecting the way we experience the world. Embedded software systems, especially those used in smart devices, have become an essential constituent of the technological infrastructure of modern societies. Such systems, in order to be trusted in...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2009
|
| Online Access: | http://spectrum.library.concordia.ca/7057/1/Mohammad_PhD_S2009.pdf Mohammad, Mubarak Sami <http://spectrum.library.concordia.ca/view/creators/Mohammad=3AMubarak_Sami=3A=3A.html> (2009) A Formal Component-Based Software Engineering Approach For Developing Trustworty Systems. PhD thesis, Concordia University. |
Internet
http://spectrum.library.concordia.ca/7057/1/Mohammad_PhD_S2009.pdfMohammad, Mubarak Sami <http://spectrum.library.concordia.ca/view/creators/Mohammad=3AMubarak_Sami=3A=3A.html> (2009) A Formal Component-Based Software Engineering Approach For Developing Trustworty Systems. PhD thesis, Concordia University.