Sciweavers

2685 search results - page 26 / 537
» A Formal Semantics for SPKI
Sort
View
ISSS
2002
IEEE
109views Hardware» more  ISSS 2002»
14 years 18 days ago
The Formal Execution Semantics of SpecC
Rainer Dömer, Andreas Gerstlauer, Wolfgang M&...
UML
2001
Springer
14 years 3 days ago
A Formal Semantics for OCL 1.4
María Victoria Cengarle, Alexander Knapp