Analog property checkers: a DDR2 case study (Q5962118): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2084777069 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2754115 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4938622 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The benefits of relaxing punctuality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2753772 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Temporal Logic Verification Using Simulation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4551134 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4804911 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automated Technology for Verification and Analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4873991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Test Coverage for Continuous and Hybrid Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2754087 / rank | |||
Normal rank |
Latest revision as of 06:00, 3 July 2024
scientific article; zbMATH DE number 5786504
Language | Label | Description | Also known as |
---|---|---|---|
English | Analog property checkers: a DDR2 case study |
scientific article; zbMATH DE number 5786504 |
Statements
Analog property checkers: a DDR2 case study (English)
0 references
16 September 2010
0 references
analog
0 references
mixed-signal
0 references
monitoring
0 references
temporal logic
0 references
property checkers
0 references
case study
0 references