Author of the publication

Simplification and Verification of Software and Data Structure Models in the Engineering Domain.

, , and . ASWEC, page 138-147. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Applying OPRMs to Recursive Probability Models., and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 761-762. IOS Press, (2006)Better Debugging Through More Abstract Observations., and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 779-780. IOS Press, (2006)Behavior consistent inheritance with UML statecharts, and . (2004)Using Big Data to Improve Safety Performance: An Application of Process Mining to Enhance Data Visualisation., , , , , and . Big Data Res., (2021)Generative constraint-based configuration of large technical systems., , and . Artif. Intell. Eng. Des. Anal. Manuf., 12 (4): 307-320 (1998)A perspective based approach to design., , and . PuK, (2001)Formalising natural language specifications using a cognitive linguistic/configuration based approach., , , and . Inf. Syst., (2015)Consistent Abstraction of Business Processes Based on Constraints., , , , and . J. Data Semant., 4 (1): 59-78 (2015)Industrial Applications of Model-based Reasoning - Guest Editorial., and . AI Commun., 13 (2): 59-60 (2000)Model-Based Diagnosis of Hardware Designs., , and . Artif. Intell., 111 (1-2): 3-39 (1999)