"XTG-an engineering approach to modelling and analysis of real-time systems."

Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel (1998)

Details and statistics

DOI: 10.1109/EMWRTS.1998.685072

access: closed

type: Conference or Workshop Paper

metadata version: 2023-11-07

a service of  Schloss Dagstuhl - Leibniz Center for Informatics