SCOPUS 정보 검색 플랫폼

Volumn 78, Issue 1, 2002, Pages 1-12

Mode automata and their compilation into fault trees

Author keywords

Fault trees; Mode automata; Petri nets

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; FAULT TREE ANALYSIS; HIGH LEVEL LANGUAGES; PETRI NETS; RELIABILITY THEORY; TREES (MATHEMATICS);

BOOLEAN EQUATIONS; MODE AUTOMATA;

AUTOMATA THEORY;

EID: 0036368210 PISSN: 09518320 EISSN: None Source Type: Journal
DOI: 10.1016/S0951-8320(02)00042-X Document Type: Article

Times cited : (111)

References (21)

2
- 0003622263
- New York: Wiley, ISBN 0-582-09615-4
- (1993) Reliability and Risk Assessment
- Andrews, J.D.¹ Moss, T.R.²

3
- 0003403628
- Englewood Cliffs, NJ: Prentice-Hall, ISBN 0-13-092990-5
- (1994) Finite Transition Systems
- Arnold, A.¹

4
- 0010250009
- The AltaRica language and its semantics
- (2000) Fundamenta Informaticae , vol.34 , pp. 109-124
- Arnold, A.¹ Griffault, A.² Point, G.³ Rauzy, A.⁴

5
- 0001470680
- Automated generation and analysis of Markov reward models using stochastic Petri nets
- Meyer C., Plemmons R.J., editors. Liner Algebra, Markov Chains and Queueing Models. Berlin: Springer
- (1993) IMA Volumes in Mathematics and Applications , vol.48 , pp. 145-191
- Ciardo, G.¹ Blakemore, A.² Chimento, P.F.³ Muppala, J.⁴ Trivedi, K.S.⁵

8
- 0010225535
- Decidability and complexity of petri nets problems - An introduction
- Reisig W., Rozenberg G., editors. Berlin: Springer, ISBN 3-540-65306-6
- (1998) Lecture on Petri Nets I: Basic Models. LNCS , vol.1491 , pp. 374-428
- Esperza, J.¹

9
- 0003257888
- Partial-order methods for the verification of concurrent systems
- ISBN 3-540-60761-1
- (1996) LNCS , vol.1032
- Godefroid, P.¹

10
- 0003720571
- Dordrecht: Kluwer Academic Publisher, ISBN 0-7923-9311-2
- (1993) Synchronous Programming of Reactive Systems
- Halbwachs, N.¹

11
- 0023365727
- Statecharts: A visual approach to complex systems
- (1987) Science of Computer Programming , vol.8 , Issue.3
- Harel, D.¹

13
- 85031897465
- Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra
- Sifakis J., editor. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Berlin: Springer; June
- (1989) LNCS , vol.407
- Maraninchi, F.¹

14
- 0039617559
- Mode-automata: About modes and states for reactive systems
- Lisbon (Portugal), Berlin: Springer; March
- (1998) European Symposium On Programming
- Maraninchi, F.¹ Rémond, Y.²

15
- 0010227623
- Matou: An implementation of mode-automata into dc
- Berlin (Germany), Berlin: Springer; March
- (2000) Compiler Construction
- Maraninchi, F.¹ Rémond, Y.² Raoul, Y.³

16
- 0003581143
- Dordrecht: Kluwer Academic Publisher, ISBN 0-7923-9380-5
- (1993) Symbolic Model Checking
- McMillan, K.¹

17
- 0024645936
- Petri nets: Properties, analysis and applications
- (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
- Murata, T.¹

18
- 0010254532
- AltaRica - Constraint automata as a description language
- (1999) Journal Européen des Systèmes Automatisés , vol.33 , Issue.8-9 , pp. 1033-1052
- Point, G.¹ Rauzy, A.²

19
- 0012413967
- A new methodology to handle boolean models with loops
- to appear
- (2001) IEEE Transactions on Reliability
- Rauzy, A.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.