![](/img/cover-not-exists.png)
[IEEE Comput. Soc 11th Euromicro Workshop on Real-Time Systems - York, UK (9-11 June 1999)] Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99 - Formally specified monitoring of temporal properties
Moonjoo Kim,, Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I., Sokolsky, O.Year:
1999
Language:
english
DOI:
10.1109/emrts.1999.777457
File:
PDF, 255 KB
english, 1999