Refine your search
Availability
-
Authors
- Sha, Lui
- Wilson, D
- Sowmya, Arcot
- Nixon, M. S
- Katoh, Naoki
- Yu, Philip S.
- Ness, linda
- Thatcher, J. W.
- Staskauskas, Mark
- Wilcox, G.D.
- Keliy, Cheryl D.
- Jensen, E D
- Ibaraki, Tohihide
- Lehoczky, John P.
- Roman, Gruia-Catalin
- Gupta, Jai Prakash
- Ramesh, S
- Wing, Jeannette M.
- Dias, Daniel M.
- Levine, David L.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Topics
- Concurrency
- Formal Specificatio...
- Locking
- Program Development
- Data Flow Analysis
- Complexity
- Data Integration
- Cycle Minimization
- Analysis and Design
- Consistency
- Unity Pf
- Compositional Analys...
- Formal Methods
- Combinational Circui...
- Structural
- Ada
- Fnlog
- Correctness
- Coverage
- Scheduling
- Show more
- Show less