zweidimensionales bewegtes Bild
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware
- Location
-
Hannover TIB
- Extent
-
115MB, 00:17:25:17 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Keyword
-
European Joint Conferences on Theory and Practice of Software, ETAPS 2021
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Mann, Makai
- DOI
-
10.5446/55027
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Mann, Makai
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Hardware packages for self-verification and secure partial reconfiguration
Finding Temporal Patterns using Constraints on (Partial) Absence Presence and Duration
From the Atlantic to Beyond the Bug River : Finding and Defining the Federmesser-Gruppen / Azilian
Interactive Verification of Synchronous Systems
Synchronous Models for Embedded Software
Finding Leila
Finding Neighborhoods
Finding DORY
Finding list
A self-adaptive hardware architecture for online data compression based on dynamic partial reconfiguration
Synchronous optimal PWM for two-level inverter fed salient-pole synchronous machines in automotive applications
Self-stablizing cuts in synchronous networks
Hardware packages for self-verification and secure partial reconfiguration
Finding Temporal Patterns using Constraints on (Partial) Absence Presence and Duration
From the Atlantic to Beyond the Bug River : Finding and Defining the Federmesser-Gruppen / Azilian
Interactive Verification of Synchronous Systems
Synchronous Models for Embedded Software
Finding Leila
Finding Neighborhoods
Finding DORY
Finding list
A self-adaptive hardware architecture for online data compression based on dynamic partial reconfiguration
Synchronous optimal PWM for two-level inverter fed salient-pole synchronous machines in automotive applications
Self-stablizing cuts in synchronous networks
Hardware packages for self-verification and secure partial reconfiguration
Finding Temporal Patterns using Constraints on (Partial) Absence Presence and Duration
From the Atlantic to Beyond the Bug River : Finding and Defining the Federmesser-Gruppen / Azilian
Interactive Verification of Synchronous Systems
Synchronous Models for Embedded Software
Finding Leila
Finding Neighborhoods
Finding DORY
Finding list
A self-adaptive hardware architecture for online data compression based on dynamic partial reconfiguration
Synchronous optimal PWM for two-level inverter fed salient-pole synchronous machines in automotive applications