![](/img/cover-not-exists.png)
[IEEE 2008 International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca (2008.08.28-2008.08.30)] 2008 4th International Conference on Intelligent Computer Communication and Processing - Formal verification and implementation of real time operating system based applications
Zaharia, Tudor, Haller, PiroskaYear:
2008
Language:
english
DOI:
10.1109/iccp.2008.4648391
File:
PDF, 876 KB
english, 2008