Search
Now showing items 1-10 of 10
Reachability Analysis of Petri-nets by FPGA Based Accelerators
([s. n.], 1998)
A High-Speed Watchdog Processor for Multitasking Systems
(Híradástechnikai Tudományos Egyesület, 1994)
Hierarchical Checking of Multiprocessors Using Watchdog Processors
(Springer, 1994)
Hardware Accelerators for Petri-net Analysis
(Univ. Wien, 1998)
Concurrent Error Detection of Program Execution Based on Statechart Specification
(Österreichische Computer Gesellschaft (ÖCG), 1999)
Completeness and Consistency Analysis of UML Statechart Specifications
(BME VIK TTT, 2000)
Completeness and Consistency Analysis of UML Statechart Specifications
(SZIF-Universitas Kft., 2001)
Workflow-Driven Tool Integration Using Model Transformations
(Springer-Verlag, 2010)
