Browsing Institut für Informatik by Author
Browsing Institut für Informatik by Author "Krstić, Miloš"
2005-07-06BuchHazard Detection in a GALS Wrapper: a Case study Stahl, Christian; Reisig, Wolfgang; Krstić, MilošAn asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether a hazard can occur in ...