50 search results - page 1 / 10 » AsmL Semantics in Fixpoint |
ASM
2005
ASM
13 years 10 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
TOOLS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
FMCO
2003
Springer
13 years 10 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
TCS
2002
13 years 4 months ago
2002
TCS
2010
12 years 11 months ago
2010
