Search
Now showing items 1-10 of 55
Reachability Analysis of Petri-nets by FPGA Based Accelerators
([s. n.], 1998)
Workflow-Driven Tool Integration Using Model Transformations
(Springer-Verlag, 2010)
Next Generation Embedded Systems
(Debrecen University Press, 2013)
Hierarchical Checking of Multiprocessors Using Watchdog Processors
(Springer, 1994)
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)
Concurrent Error Detection of Program Execution Based on Statechart Specification
(Österreichische Computer Gesellschaft (ÖCG), 1999)