VERTAF: an application framework for the design and verification of embedded real-time software
VERTAF: an application framework for the design and verification of embedded real-time software is a paper indexed in PICO Portal from OpenAlex.
How many citations does VERTAF: an application framework for the design and verification of embedded real-time software have?
VERTAF: an application framework for the design and verification of embedded real-time software has 42 citations in the OpenAlex counts PICO Portal stores.
When was VERTAF: an application framework for the design and verification of embedded real-time software published?
VERTAF: an application framework for the design and verification of embedded real-time software has 2004 year in the PICO Portal index.
What is the open-access status of VERTAF: an application framework for the design and verification of embedded real-time software?
VERTAF: an application framework for the design and verification of embedded real-time software has closed oa status in the PICO Portal index.
What is the DOI of VERTAF: an application framework for the design and verification of embedded real-time software?
The DOI for VERTAF: an application framework for the design and verification of embedded real-time software is on the source record.
What is the OpenAlex record for VERTAF: an application framework for the design and verification of embedded real-time software?
The OpenAlex for VERTAF: an application framework for the design and verification of embedded real-time software is on the source record.