Characterization of greying, melanoma, and vitiligo quantitative inheritance in Old Kladruber horses
Hofmanová, B., Vostrý, L., Majzlík, I., Vostrá-Vydrová, H.
Published in Czech Journal of Animal Science (01.01.2015)
Published in Czech Journal of Animal Science (01.01.2015)
Get full text
Journal Article
VIATRA - visual automated transformations for formal verification and validation of UML models
Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D.
Published in Automated Software Engineering: Proceedings of the 17th IEEE international conference on Automated software engineering; 23-27 Sept. 2002 (2002)
Published in Automated Software Engineering: Proceedings of the 17th IEEE international conference on Automated software engineering; 23-27 Sept. 2002 (2002)
Get full text
Conference Proceeding
From assessment to standardised benchmarking: Will it happen? What could we do about it?
Madeira, H., Majzik, I.
Published in 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (01.06.2009)
Published in 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (01.06.2009)
Get full text
Conference Proceeding
Design and analysis of fault tolerant architectures by model weaving
Domokos, P., Majzik, I.
Published in Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2005)
Published in Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2005)
Get full text
Conference Proceeding
Temporal analysis of data flow control systems
Bernardeschi, Cinzia, Bondavalli, Andrea, Csertán, Gyorgy, Majzik, Istvan, Simoncini, Luca
Published in Automatica (Oxford) (01.02.1998)
Published in Automatica (Oxford) (01.02.1998)
Get full text
Journal Article
A Model Based Framework for Specifying and Executing Fault Injection Experiments
Olah, J., Majzik, I.
Published in 2009 Fourth International Conference on Dependability of Computer Systems (01.06.2009)
Published in 2009 Fourth International Conference on Dependability of Computer Systems (01.06.2009)
Get full text
Conference Proceeding
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
Micskei, Z., Majzik, I.
Published in 2006 International Conference on Dependability of Computer Systems (01.05.2006)
Published in 2006 International Conference on Dependability of Computer Systems (01.05.2006)
Get full text
Conference Proceeding
A Resilient SIL 2 Driver Machine Interface for Train Control Systems
Ceccarelli, A., Majzik, I., Iovino, D., Caneschi, F., Pinter, G., Bondavalli, A.
Published in 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX (01.06.2008)
Published in 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX (01.06.2008)
Get full text
Conference Proceeding
UML based design of time triggered systems
Majzik, I., Pinter, G., Kovacs, P.T.
Published in Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings (2004)
Published in Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings (2004)
Get full text
Conference Proceeding