Giovanni Guida, Gianfranco Lamperti AMMETH: a methodology for requirements analysis of advanced human-system interfaces. [Citation Graph (0, 0)][DBLP] IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2000, v:30, n:3, pp:298-321 [Journal]
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. [Citation Graph (, )][DBLP]
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems. [Citation Graph (, )][DBLP]
On Processing Temporal Observations in Monitoring of Discrete-Event Systems. [Citation Graph (, )][DBLP]
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems. [Citation Graph (, )][DBLP]
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. [Citation Graph (, )][DBLP]
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP