vix.ing · top · new · best · stats · spec

Ada in the JAS 39 Gripen flight control system

1998/01/01 by Bo Frisberg · 1 citation
Computer Science · Engineering · #Artificial intelligence #Computer science #Consistency (knowledge bases) #Control system #Embedded Systems Design Techniques #Engineering #Formal Methods in Verification #Real-Time Systems Scheduling #Real-time computing #Reliability (semiconductor) #Scheduling (production processes)

paper · doi:10.1007/bfb0055013

crossref issued 1998/01/01 · crossref published 1998/01/01 · crossref published-print 1998/01/01 · openalex publication_date 1998/01/01 · crossref published-online 2006/05/25 · crossref created 2006/07/27 · crossref deposited 2019/04/20 · crossref indexed 2024/09/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29

Cited by