[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Enforcement monitoring wrt. the safety-progress classification of properties
Falcone, Yliès, Fernandez, Jean-Claude, Mounier, LaurentYear:
2009
Language:
english
DOI:
10.1145/1529282.1529408
File:
PDF, 469 KB
english, 2009