Searching for authors named "Victoria Stavridou" – sorted by Relevance.
-
Integration In Software Intensive Systems
- INTEGRATION IN SOFTWARE INTENSIVE SYSTEMS Victoria Stavridou Computer Science Laboratory SRI
- Cited by 3 (0 self) – Add To MetaCart
-
COTS, Integration and Critical Systems
- COTS, INTEGRATION AND CRITICAL SYSTEMS Victoria Stavridou Department of Computer Science Queen
- Cited by 1 (0 self) – Add To MetaCart
-
Avionics Systems Requirements: A Comparison of RSML and SCR
- International; Menlo Park, California Victoria Stavridou; CSL, SRI International; Menlo Park, California
- Add To MetaCart
-
Formal Analysis For Real-Time Scheduling
- 1 FORMAL ANALYSIS FOR REAL-TIME SCHEDULING Bruno Dutertre and Victoria Stavridou, SRI
- Add To MetaCart
-
Formal Requirements Analysis of an Avionics Control System
- . 5, 1997 Bruno Dutertre, Victoria Stavridou Abstract---We report on a formal requirements analysis
- Cited by 24 (1 self) – Add To MetaCart
-
Provably Dependable Software Architectures
- PROVABLY DEPENDABLE SOFTWARE ARCHITECTURES Victoria Stavridou R. A. Riemenschneider Computer
- Cited by 9 (0 self) – Add To MetaCart
-
From Security to Safety and Back
- From Security to Safety and Back Victoria Stavridou and Bruno Dutertre Computer Science Laboratory
- Cited by 4 (0 self) – Add To MetaCart
-
A Model of Noninterference for Integrating Mixed-Criticality Software Components
- at DCCA-7, San Jose, CA, January 99 Bruno Dutertre and Victoria Stavridou Computer Science Laboratory, SRI
- Cited by 8 (2 self) – Add To MetaCart
-
The Practice of Formal Methods in Safety Critical Systems
- The Practice of Formal Methods in Safety Critical Systems 3 Shaoying Liu, Victoria Stavridou
- Cited by 4 (1 self) – Add To MetaCart
-
Integrating the Unified Modeling Language with an Architecture Description Language
- , R. A. Riemenschneider, and Victoria Stavridou System Design Laboratory SRI International Menlo Park
- Add To MetaCart

