An Efficient State Space Generation for the Analysis of Real-Time Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 5, p. 453, doi. 10.1109/32.846302
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2000 AND VI 26 AND IP 5
Results: 6
1
2
Design Wizards and Visual Programming Environments for for GenVoca Generators.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 5, p. 441, doi. 10.1109/32.846301
- By:
- Publication type:
- Article
3
An Automatic Class Generation Mechanism by Using Method Integration.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 5, p. 425, doi. 10.1109/32.846300
- By:
- Publication type:
- Article
4
Guest Editors' Introduction: Next Generation Software Reuse.
- Published in:
- 2000
- By:
- Publication type:
- Editorial
5
Priority Queues and Sorting Methods for Parallel Simulation.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 5, p. 401, doi. 10.1109/32.846298
- By:
- Publication type:
- Article
6
Asynchronous Parallel Simulation of Parallel Programs.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 5, p. 385, doi. 10.1109/32.846297
- By:
- Publication type:
- Article