Refine your search
Availability
-
Authors
- Suzuki, Ichiro
- Waldspurger, Cari A.
- Corbett, James C.
- Buhr, R. J. A.
- Gopalakrishnan, Gane...
- Ghezzi, Carlo
- Roome, Wililam D.
- Pezze, Mauro
- Shaw, Alan C.
- Morasca, Sandro
- Lu, Harngdar
- Akelia, V
- Heileman, G.L
- Richter, Gernot
- Karam, Gerald M.
- Georgiopoulos, Micha...
- Kephart, Jeffrey O.
- Maffeo, Bruno
- Avrunin, George S.
- Hogg, Tad Hogg
- Show more
- Show less
-
Holding libraries
-
Item types
-
Topics
- Concurrent Systems
- Automated Analysis
- Specification
- Trans Formations
- Priority
- Neural Network
- Ada
- Distributed Systems
- Verification
- Data Flow Diagram
- Asynchronous
- Arbiter
- Hardware Description...
- Petri Net
- Analysis
- State Space
- Executable Spections
- Object-Oriented Desi...
- Real-Time Systems
- Show more
- Show less