Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
SDL
1997
90views Hardware» more  SDL 1997»
11 years 7 months ago
High-level message sequence charts
Sjouke Mauw, Michel A. Reniers
SDL
1997
134views Hardware» more  SDL 1997»
11 years 7 months ago
Automating the process of test derivation from SDL specifications
Gregor von Bochmann, Alexandre Petrenko, O. Bellal...
SDL
1997
75views Hardware» more  SDL 1997»
11 years 7 months ago
MSC'96 and beyond - a critical look
Stefan Loidl, Ekkart Rudolph, Ursula Hinkel
books