Search results for: Michael G. Hinchey
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer > 473-477
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Ecology Based Decentralized Agent Management System > 57-71
Lecture Notes in Computer Science > Rigorous Methods for Software Construction and Analysis > 219-233
Lecture Notes in Computer Science > Agent-Oriented Software Engineering VII > Testing, Debugging and Evolvability > 208-224
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Ecology Based Decentralized Agent Management System > 249-261
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 403-412
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Ubiquitous and Context Aware Systems > 561-571