FORSOFT

BAYERISCHER FORSCHUNGSVERBUND SOFTWARE-ENGINEERING

Logo FORSOFT

Formalizing and executing Message Sequence Charts via Timed Rewriting

21.02.2018

P. Kosiuczenko, M. Wirsing

Informationen

Gründungsdatum

02.2000

Ende

01.2003

Gefördert durch

Bayerische Forschungsstiftung