Sciweavers

2036 search results - page 14 / 408
» A generic type-and-effect system
Sort
View
NOMS
2002
IEEE
109views Communications» more  NOMS 2002»
14 years 12 days ago
Generic architecture for a management system of automatic switched transport networks
Ulrike Hartmer, Ralf Geerdsen, Georg Lehr, Antonio...
TPHOL
2000
IEEE
13 years 12 months ago
TAS - A Generic Window Inference System
Christoph Lüth, Burkhart Wolff
FM
1999
Springer
101views Formal Methods» more  FM 1999»
13 years 11 months ago
Systems Development Using Z Generics
Fiona Polack, Susan Stepney