Search results for: Ana Cavalli
Lecture Notes in Computer Science > Wired/Wireless Internet Communications > Adaptive Approaches to Guarantee E2E Network Services > 162-173
Lecture Notes in Computer Science > FM’99 — Formal Methods > Verifying Consistency and Validity of Formal > 915-934
Lecture Notes in Computer Science > Testing of Communicating Systems > Test Design, Tools and Methodology > 295-310
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Protocols Analysis, Case Studies, and Tools > 400-413
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 122-136
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Short Papers > 217-222
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 371-382
IFIP — The International Federation for Information Processing > EduTech Computer-Aided Design Meets Computer-Aided Learning > Development of E-Learning Tools > 165-174
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 150-166
Lecture Notes in Computer Science > Testing – Practice and Research Techniques > Tool Papers > 137-146
Lecture Notes in Computer Science > Testing of Communicating Systems > Session III: Testing Internet and Industrial Systems > 134-148
Lecture Notes in Computer Science