ISIS Publications

Export 3 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: Author is Tamas Kecskes  [Clear All Filters]
2014
2016
Lattmann, Z., T. Kecskes, P. Meijer, G. Karsai, P. Volgyesi, and A. Ledeczi, "Abstractions for Modeling Complex Systems", ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 2016. Abstract  Download: AbstractionsForModelingComplexSystems.pdf (697.83 KB)