2954 search results - page 57 / 591 » Beyond |
SACRYPT
2009
Springer
14 years 2 months ago
2009
Springer
CAISE
2001
Springer
14 years 2 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
CSL
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
FASE
2001
Springer
14 years 2 months ago
2001
Springer
PAPM
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...