Sciweavers

2688 search results - page 24 / 538
» A formal semantics for P3P
Sort
View
ISSS
2002
IEEE
109views Hardware» more  ISSS 2002»
14 years 12 days ago
The Formal Execution Semantics of SpecC
Rainer Dömer, Andreas Gerstlauer, Wolfgang M&...
UML
2001
Springer
13 years 12 months ago
A Formal Semantics for OCL 1.4
María Victoria Cengarle, Alexander Knapp