Literature

Found 6 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Polgár  [Clear All Filters]
2011
Polgár, B. , D 3.3b - Ontology Based Model Verification (Final Version), , 2011  .
 Export: Tagged XML BibTex
Polgár, B., Ráth, I., Majzik, I. , "Model-based Integration Framework for Development and Testing Tool-chains", FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems: Springer Verlag, Berlin, pp. 227-235, 2011  .
 Export: Tagged XML BibTex
2010
Szatmari, Z., Izso, B., Polgár, B., Majzik, I. , "Ontology-based assessment of software models and development processes for safety-critical systems", Monographs of System Dependability , Dependability of Networks, vol. 2, Brunow, Poland, pp. 1-12, 2010  .
 Export: Tagged XML BibTex
2009
Polgár, B., Ráth, I., Szatmari, Z., Horvath, A., Majzik, I. , "Model-based Integration, Execution and Certification of Development Tool-chains", 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA), Workshop on Model-Driven Tool & Process Integration (MDTPI), Enschede, The Netherlands, 24/06/2009. Abstract
 Export: Tagged XML BibTex
Polgár, B. , D 2.1 - Tool Integration Framework - Specification, , 2009  .
 Export: Tagged XML BibTex
2008
Polgár, B., Schlick, R. , "D 1.2 - State of the Art Survey - Part b: Tool Integration, Requirements Tracing", MOGENTES public project deliverable, 2008  .
 Export: Tagged XML BibTex