4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 293-295
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 296-311
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 312-326
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 327-342
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 343-356
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 206-220
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 221-235
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 236-250
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 251-262
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 263-277
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 278-292
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > EternalS: Mission and Roadmap > 1-2
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > EternalS: Mission and Roadmap > 3-8