Export 33 results:
Rendezés: Szerző Cím Típus [ Év  (Asc)]
Szűrők: A Cím Első Betűje = C  [Minden szűrő visszaállítása]
Darvas, D., Majzik, I., and Blanco Viñuela, E., "Conformance Checking for Programmable Logic Controller Programs and Specifications", 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Kraków, Poland, IEEE, pp. 29-36, 05/2016.
Bonfiglio, V., Brancati, F., Rossi, F., Bondavalli, A., Montecchi, L., Pataricza, A., Kocsis, I., and Molnár, V., "Composable Framework Support for Software-FMEA through Model Execution", Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
Molnár, V., and Majzik, I., "Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach", Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 54–57, 2017.
Marussy, K., and Majzik, I., "Constructing Dependability Analysis Models of Reconfigurable Production Systems", 14th IEEE International Conference on Automation Science and Engineering (CASE), München, Germany, IEEE, 2018. Abstract
See also our accompanying technical report at
Graics, B., Molnár, V., and Majzik, I., "Contract-Based Specification and Test Generation for Adaptive Systems", 16th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), vol. 1389, Wrocław, Poland, Springer, pp. 136-145, 07/2021. Abstract