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

**Type:** Papers  
**Canonical URL:** https://scholariq.org/papers/vertaf-an-application-framework-for-the-design-and-verification-of-embedded-real/

## Facts

| Field | Value |
| --- | --- |
| Author Names | Pao‐Ann Hsiung,Shang‐Wei Lin,Chih-Hao Tseng,Trong‐Yen Lee,Jin-Ming Fu,Win-Bin See |
| Citations | 42 |
| DOI | 10.1109/tse.2004.68 |
| Fields | Computer Science |
| Open Access | false |
| OA Status | closed |
| OpenAlex ID | https://openalex.org/W2148664104 |
| Type | article |
| Year | 2004 |

## Paper authors

- [Pao‐Ann Hsiung](https://scholariq.org/researchers/pao-ann-hsiung/)

## Paper primary topic

- [Real-Time Systems Scheduling](https://scholariq.org/topics/real-time-systems-scheduling/)

## Paper topics

- [Real-Time Systems Scheduling](https://scholariq.org/topics/real-time-systems-scheduling/)
- [Embedded Systems Design Techniques](https://scholariq.org/topics/embedded-systems-design-techniques/)
- [Formal Methods in Verification](https://scholariq.org/topics/formal-methods-in-verification/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.