Diagnosis from scenarios (Q481349): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-013-0158-2
@@ Property / DOI: 10.1007/s10626-013-0158-2 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C65
@@ Property / Mathematics Subject Classification ID: 93C65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B07
@@ Property / Mathematics Subject Classification ID: 93B07 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 93B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C15
@@ Property / Mathematics Subject Classification ID: 94C15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6380086
@@ Property / zbMATH DE Number: 6380086 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+diagnosis
@@ Property / zbMATH Keywords: diagnosis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+discrete events systems
@@ Property / zbMATH Keywords: discrete events systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+scenarios
@@ Property / zbMATH Keywords: scenarios / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+security
@@ Property / zbMATH Keywords: security / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+anomaly detection
@@ Property / zbMATH Keywords: anomaly detection / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sofat
@@ Property / describes a project that uses: Sofat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2131190527
@@ Property / OpenAlex ID: W2131190527 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Causal message sequence charts
@@ Property / cites work: Causal message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosis of large active systems
@@ Property / cites work: Diagnosis of large active systems / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosis of asynchronous discrete-event systems: a net unfolding approach
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q4430315
@@ Property / cites work: Q4430315 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete event systems with modular structure
+Normal rank
@@ Property / cites work @@
+Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Diagnosis from scenarios
@@ Property / cites work: Diagnosis from scenarios / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic Enumeration of Partial Orders on a Finite Set
+Normal rank
@@ Property / cites work @@
+Q4941891
@@ Property / cites work: Q4941891 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10626-013-0158-2
@@ Property / DOI: 10.1007/S10626-013-0158-2 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:481349