Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by D. P. Vigliotti

Performance Verification of Impact Machines for Testing Plastics

Journal of Research of the National Institute of Standards and Technology
Engineering
1999English

Related publications

Design Verification and Functional Testing of Finite State Machines

English

Formal Verification of Programs for Abstract Register Machines

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2013English

Fire Performance of Plastics

Composites
1972English

Verification of Maximum Impact Force for Interim Storage Cask for the Fast Flux Testing Facility

1996English

Performance Design of Engineering Plastics.

Kobunshi
Materials SciencePolymersPlasticsChemical EngineeringEnvironmental Science
1990English

Machines and Methods for Testing Cordage Fibers

Journal of Research of the National Bureau of Standards
1944English

A Metric for Testing Program Verification Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Verification Testing of Biological Indicators for Moist Heat Sterilization

Biomedical Instrumentation and Technology
Computer NetworksBiomedical EngineeringCommunications
2018English

A Verification Procedure via Invariant for Extended Communicating Finite-State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy