Scholar IQ
Try ScholarIQ free
Upload Records Snowball Search Search OpenAlex
About the database
ScholarIQanswers from OpenAlex

VERTAF: an application framework for the design and verification of embedded real-time software

PaperCitations, authors & open-access status

VERTAF: an application framework for the design and verification of embedded real-time software is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 42 citations, 2004 year and closed oa status.

42
Citations
2004
Year
closed
OA Status

Related on ScholarIQ

Pao‐Ann Hsiung
Author
Real-Time Systems Scheduling
Topic
Real-Time Systems Scheduling
Topic
Embedded Systems Design Techniques
Topic
Formal Methods in Verification
Topic
470M+ articles · free account