A formal component-based software engineering approach for developing trustworthy 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 modem societies. Such systems, in order to be trusted in so...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2009
|
| Online Access: | http://spectrum.library.concordia.ca/976409/1/NR63417.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 trustworthy systems. PhD thesis, Concordia University. |
Internet
http://spectrum.library.concordia.ca/976409/1/NR63417.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 trustworthy systems. PhD thesis, Concordia University.