Wyniki wyszukiwania
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 20-33
IFIP — The International Federation for Information Processing > Human Error, Safety and Systems Development > Formal Methods and Notations > 61-76
Lecture Notes in Computer Science > Model Checking Software > Parallel state space construction for model-checking > 217-234
Lecture Notes in Computer Science > Advances in Biometrics > Poster I > 328-337
Lecture Notes in Computer Science > Model Checking Software > Implementation and Performance of Model Checking > 76-87
Lecture Notes in Computer Science > Embedded Computer Systems: Architectures, Modeling, and Simulation > SoC for SDR > 365-374
Lecture Notes in Computer Science > Computers Helping People with Special Needs > Standards: A Driver for Accessibility and Usability > 573-579
NATO Science for Peace and Security Series C: Environmental Security > Security and Reliability of Damaged Structures and Defective Materials > 301-323
Lecture Notes in Computer Science > Future Tendencies in Computer Science, Control and Applied Mathematics > 129-153
Lecture Notes in Computer Science > Industrial and Engineering Applications of Artificial Intelligence and Expert Systems > 225-235
Lecture Notes in Computer Science > FM’99 — Formal Methods > Refinement > 1439-1459
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 5. Verification > 227-246
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Quantitative Verification in Practice > 175-190