Searching for authors named "Victoria Stavridou" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
