| |
|
| |
In A-MOST '05: Proceedings of the first international workshop on Advances in model-based testing, Vol. 30, No. 4. (July 2005), pp. 1-7.
|
| |
|
| |
Developmental dynamics : an official publication of the American Association of Anatomists, Vol. 237, No. 7. (July 2008), pp. 1789-1798.
|
| |
Science (New York, N.Y.) (9 October 2008)
|
| |
Current biology : CB, Vol. 14, No. 7. (6 April 2004), pp. 593-598.
|
| |
Current biology : CB, Vol. 11, No. 4. (20 February 2001), pp. 282-287.
|
| |
In AST '08: Proceedings of the 3rd international workshop on Automation of software test (2008), pp. 1-6.
|
| |
In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 509-512.
|
| |
International Journal on Software Tools for Technology Transfer, Vol. 8, No. 6. (November 2006), pp. 649-667.
|
| |
System Specification & Design Languages (2004), pp. 255-264.
|
| |
PLoS Biology, Vol. 6, No. 8. (1 August 2008), e202.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 26, No. 5. (September 2004), pp. 769-804.
|
| |
|
| |
Dependable Systems: Software, Computing, Networks (2006), pp. 145-171.
|
| |
In IFM '00: Proceedings of the Second International Conference on Integrated Formal Methods (2000), pp. 338-357.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 263-272.
|
| |
In SEFM '04: Proceedings of the Software Engineering and Formal Methods, Second International Conference (2004), pp. 188-197.
|
| |
In TAPSOFT '95: Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (1995), pp. 82-96.
|
| |
In FME '93: Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods (1993), pp. 268-284.
|
| |
Journal of Global Optimization
posted to ai by wkrenn
on 2008-04-10 09:18:18
as 
|
| |
ACM Computing Surveys (2008)
by R. M. Hierons, K. Bogdanov, J. P. Bowen, et al.R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, G. Luettgen, A. J. H. Simons, S. Vilkomir, M. R. Woodward, H. Zedan
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Second Workshop on Model Based Testing 2006, Vol. 164, No. 4. (31 October 2006), pp. 29-40.
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 4. (October 2003), pp. 409-439.
|
| |
|
| |
Proceedings of the American Society for Information Science and Technology, Vol. 39, No. 1. (2002), pp. 292-297.
|
| |
|
| |
In International Symposium on Software Testing and Analysis 2004 (11-14 July 2004)
|
| |
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 15, No. 4. (2007), pp. 483-488.
|
| |
Circuits and Systems for Video Technology, IEEE Transactions on, Vol. 17, No. 4. (2007), pp. 490-494.
|
| |
Proceedings of the IEEE, Vol. 95, No. 3. (2007), pp. 467-506.
|
| |
Proceedings of the IEEE, Vol. 95, No. 3. (2007), pp. 507-529.
|
| |
Software, IEEE, Vol. 24, No. 3. (2007), pp. 44-50.
|
| |
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 15, No. 4. (2007), pp. 447-460.
|
| |
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 15, No. 4. (2007), pp. 377-390.
|
| |
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 15, No. 4. (2007), pp. 478-483.
|
| |
In DIS '00: Proceedings of the conference on Designing interactive systems (2000), pp. 227-237.
|
| |
In CHI '00: CHI '00 extended abstracts on Human factors in computing systems (2000), pp. 163-164.
|
| |
ACM Computing Surveys, Vol. 27, No. 3. (1995), pp. 367-432.
|
| |
|
| |
In MICRO 23: Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture (1990), pp. 17-27.
|
| |
|
| |
scam, Vol. 00 (2004), pp. 7-16.
|
| |
In CC '02: Proceedings of the 11th International Conference on Compiler Construction (2002), pp. 179-196.
|
| |
IEEE Transactions on Parallel and Distributed Systems, Vol. 06, No. 12. (1995), pp. 1248-1270.
|
| |
|
| |
In PLDI '96: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation (1996), pp. 1-11.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications (2003), pp. 187-204.
by Kazuaki Ishizaki, Mikio Takeuchi, Kiyokuni Kawachiya, et al.Toshio Suganuma, Osamu Gohda, Tatsushi Inagaki, Akira Koseki, Kazunori Ogata, Motohiro Kawahito, Toshiaki Yasue, Takeshi Ogasawara, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani
|
Search
