Search
Now showing items 1-10 of 10
Reachability Analysis of Petri-nets by FPGA Based Accelerators
([s. n.], 1998)
Completeness and Consistency Analysis of UML Statechart Specifications
(SZIF-Universitas Kft., 2001)
Completeness and Consistency Analysis of UML Statechart Specifications
(BME VIK TTT, 2000)
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)
Workflow-Driven Tool Integration Using Model Transformations
(Springer-Verlag, 2010)