20126 search results - page 52 / 4026 » Timed Transition Systems |
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
CONCUR
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
100
click to vote
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
114
click to vote
SOSYM
2011
14 years 4 months ago
2011
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...