Search
Now showing items 1-10 of 10
Reachability Analysis of Petri-nets by FPGA Based Accelerators
([s. n.], 1998)
Hierarchical Checking of Multiprocessors Using Watchdog Processors
(Springer, 1994)
Towards a Formal Operational Semantics of UML Statechart Diagrams
(Kluwer Academic Publishers, 1999)
Reachability and Timing Analysis in Data Flow Networks: A Case Study
(IEEE Computer Society Press, 1996)
Hardware Accelerators for Petri-net Analysis
(Univ. Wien, 1998)
A High-Speed Watchdog Processor for Multitasking Systems
(Híradástechnikai Tudományos Egyesület, 1994)
Automatic Dependability Modeling of Systems Described in UML
(IEEE Computer Society Press, 1998)
Formal Verification of Fault Tolerance Techniques in UML
(Czech Technical University in Prague, 1999)
Concurrent Error Detection of Program Execution Based on Statechart Specification
(Österreichische Computer Gesellschaft (ÖCG), 1999)