Preferential Refinements of Abstract State Machines for Service Mediators

  • Klaus-Dieter Schewe (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period28 Aug 2012
Event title12th International Conference on Quality Software (QSIC 2012)
Event typeConference
LocationChinaShow on map

Fields of science

  • 102 Computer Sciences
  • 102001 Artificial intelligence

JKU Focus areas

  • Computation in Informatics and Mathematics