TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 111 records were found in 0.422 seconds
ICEGOV 2010, Proceedings of the 4th International Conference on Theory and Practice of Electronic Governance, Beijing, China, October 25 - 28, 2010
ISBN: 978-1-4503-0058-2444, 2010
ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Columbia, November 10-13, 2009
ISBN: 978-1-60558-663-2322, 2009
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
ISBN: 978-3-540-73209-94591, 2007
Transfer of Problem-Solving Strategy Using the Cognitive Visual Language
DMS, 293-298, 2005
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
ISBN: 3-540-23841-73308, 2004
Visual Case-Based Reasoning II: Transfer and Adaptation
IICAI, 769-778, 2003
A Method for the Automatic Generation of Test Suites from Object Models
SAC, 1104-1109, 2003
Visual Analogy in Problem Solving
IJCAI, 377-384, 2001
On the Refinement and Simulation of Data Types and Processes
IFM, 273-292, 1999
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
ISBN: 3-540-66587-01708, 1999
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II
ISBN: 3-540-66588-91709, 1999
Real-time LOTOS and Timed Observations
FORTE, 383-397, 1995
On the formal specification and verification of network routing algorithms
FORTE, 100-115, 1994