Search results for: Jan Tretmans
Lecture Notes in Computer Science > FM’99 — Formal Methods > Safety > 1511-1526
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 127-146
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Annotated Bibliographies > 187-195
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 5. Verification and Test > 250-264
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Selected Posters > 207-209
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Quantitative Verification in Practice > 160-174
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Test Theory and Test Derivation Algorithms > 86-100
Lecture Notes in Computer Science > Architecting Systems with Trustworthy Components > Invited Articles > 1-25
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Learning and Monitoring > 297-326
IFIP — The International Federation for Information Processing > Security and Privacy in the Age of Ubiquitous Computing > Workshop Papers > 565-576
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Symbolic Test Generation > 1-15
Lecture Notes in Computer Science
Machine Learning > 2014 > 96 > 1-2 > 189-224