4 citations · 6 across the 4 of their papers we have counts for
4 papers
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures
Bara Buhnova, Lucia Happe, Jan Kofroň
The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and appli…
An NMF solution for the Petri Nets to State Charts case study at the TTC 2013
Georg Hinkel, Thomas Goldschmidt, Lucia Happe
Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstr…
An NMF solution for the Flowgraphs case at the TTC 2013
Georg Hinkel, Thomas Goldschmidt, Lucia Happe
Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstr…
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures
Barbora Buhnova, Lucia Happe, Jan Kofroň
These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2…