Search results for: Jan Peleška
Software Testing, Verification and Reliability > 32 > 2 > n/a - n/a
Software Quality Journal > 2019 > 27 > 2 > 589-613
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 4 > 441-465
Software & Systems Modeling > 2019 > 18 > 1 > 423-443
Science of Computer Programming > 2017 > 133 > P2 > 91-115
Formal Aspects of Computing > 2017 > 29 > 2 > 335-364
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 39-59
Lecture Notes in Computer Science > Communicating Sequential Processes. The First 25 Years > Industrial Strength CSP > 293-320
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part II: Reference Case Study Traffic Control Systems > 145-173
Lecture Notes in Computer Science > FM’99 — Formal Methods > Safety > 1546-1563
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 124-139
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 538-556
Lecture Notes in Computer Science > FM’99 — Formal Methods > Integration of Notation and Techniques > 1186-1205