J. Peleska
发表
Jan Peleska,
Hans-Martin Hörcher,
Hans-Martin Hörcher,
1995,
Software Quality Journal.
J. Peleska,
M. Fränzle,
Tino Teige,
2006
.
D Svejda,
J Zvárová,
J. Peleska,
1997,
International journal of medical informatics.
J. Peleska,
P. Martásek,
V. Kožich,
2001,
Biochemical and biophysical research communications.
J. Peleska,
M. Aschermann,
A. Linhart,
2002,
British journal of biomedical science.
J. Hradec,
J. Peleska,
R. Cífková,
1998,
Journal of Human Hypertension.
J. Peleska,
K. Horký,
M. Jachymová,
2002,
Blood pressure.
H. Struijker‐Boudier,
J. Staessen,
L. Thijs,
2006,
Journal of hypertension.
J. Staessen,
T. Kuznetsova,
E. Casiglia,
2007
.
J. Peleska,
A. Holubová,
J. Mužík,
2019
.
Jan Peleska,
Michael Siegel,
J. Peleska,
1997
.
J. Peleska,
Wen-ling Huang,
2017,
International Journal on Software Tools for Technology Transfer.
J. Peleska,
Wen-ling Huang,
Felix Hübner,
2015,
Software & Systems Modeling.
J. Peleska,
Wen-ling Huang,
2017,
Software Quality Journal.
J. Peleska,
J. Merna,
Z. Hošt’álek,
2011
.
J. Peleska,
J. Roda,
J. Merna,
2009
.
J. Staessen,
L. Thijs,
T. Kuznetsova,
2007,
Journal of hypertension.
Willem P. de Roever,
Jan Peleska,
Carsta Petersohn,
1994,
EDCC.
Jan Peleska,
Willem-Paul de Roever,
Carsta Petersohn,
1994,
Refine.
E. O’Brien,
J. Staessen,
T. Kuznetsova,
2002,
Blood pressure monitoring.
[Treatment of chronic proliferative glomerulonephritis using acetylsalicylic acid and dipyridamole].
J. Peleska,
M. Jachymová,
K. Nemecek,
1989,
Casopis lekaru ceskych.
J. Peleska,
M. Aschermann,
A. Linhart,
2004,
Blood pressure.
J. Staessen,
L. Thijs,
T. Kuznetsova,
2004,
Hypertension.
Jan Peleska,
J. Peleska,
2004,
25 Years Communicating Sequential Processes.
J. Peleska,
M. Aschermann,
J. Kvasnička,
2002,
Journal of Human Hypertension.
Jan Peleska,
Jim Woodcock,
John Fitzgerald,
2015
.
Ina Schieferdecker,
Jan Peleska,
Peter Frensch,
2010
.
Jan Peleska,
J. Peleska,
1996,
Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik.
Jan Peleska,
Carsta Petersohn,
Cornelis Huizing,
1994
.
Jan Peleska,
Petr Hanzlicek,
Jana Zvarova,
2002,
Medical informatics and the Internet in medicine (Print).
Jan Peleska,
Ulrich Hannemann,
Kirsten Berkenkötter,
2004,
SoftSpez Final Report.
Rachel Cardell-Oliver,
Bettina Buth,
Jan Peleska,
1996
.
Gustavo Carvalho,
Jan Peleska,
Flávia de Almeida Barros,
2013,
FTSCS.
Stefan Milius,
Jan Peleska,
Martin Sulzmann,
2012,
MBEES.
Erik P. de Vink,
Jan Peleska,
Klaus Havelund,
2018,
Lecture Notes in Computer Science.
Jan Peleska,
Helge Löding,
J. Peleska,
2010,
2010 Third International Conference on Software Testing, Verification and Validation.
Jan Peleska,
J. Peleska,
2014
.
Anne Elisabeth Haxthausen,
Jan Peleska,
J. Peleska,
2016,
ISoLA.
J. Peleska,
Wen-ling Huang,
2016,
International Journal on Software Tools for Technology Transfer.
Anne Elisabeth Haxthausen,
Jan Peleska,
Sebastian Kinder,
2011,
Formal Aspects of Computing.
Anne Elisabeth Haxthausen,
Jan Peleska,
J. Peleska,
2015,
SyDe Summer School.
J. Peleska,
Mario Gleirscher,
Lukas Plecher,
2022,
ArXiv.
Jan Peleska,
Wen-ling Huang,
Kerstin I. Eder,
2021,
FMAS.
Mario Gleirscher,
Jan Peleska,
J. Peleska,
2021,
FMAS.
Jan Peleska,
Robert Sachtleben,
J. Peleska,
2021,
Softw. Test. Verification Reliab..
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2021,
ArXiv.
Jörg Brauer,
Jan Peleska,
Wen-ling Huang,
2018,
ISoLA.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2018,
International Journal on Software Tools for Technology Transfer.
Jan Peleska,
Niklas Krafczyk,
J. Peleska,
2017,
ICTSS.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2016,
Formal Aspects of Computing.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2016,
FM.
Jan Peleska,
Wen-ling Huang,
Felix Hübner,
2016,
RSSRail.
Jan Peleska,
Niklas Krafczyk,
J. Peleska,
2021,
SEFM.
Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing
Jan Peleska,
Felix Hübner,
J. Peleska,
2015,
SyDe Summer School.
Jan Peleska,
J. Peleska,
2015,
Correct System Design.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2013,
ICTSS.
Jan Peleska,
J. Peleska,
2013,
MBT.
Jan Peleska,
Hermann Schmid,
Helge Löding,
2011,
ICTSS.
Jan Peleska,
Elena Vorobev,
Florian Lapschies,
2011,
NASA Formal Methods.
Jan Kalina,
Jana Zvárová,
Dalibor Slovák,
2012
.
J. Fitzgerald,
J. Woodcock,
J. Peleska,
2015,
ACM Comput. Surv..
J. Staessen,
L. Thijs,
T. Kuznetsova,
2008,
Journal of hypertension.
J. Staessen,
L. Thijs,
T. Kuznetsova,
2006
.
V Pribík,
J Peleska,
J Zvárová,
2000,
Studies in health technology and informatics.
Anne Elisabeth Haxthausen,
Jan Peleska,
Linh Vu Hong,
2014,
Sci. Comput. Program..
Anne Elisabeth Haxthausen,
Cécile Braunstein,
Jan Peleska,
2014,
ICFEM.
Ana Cavalcanti,
Jan Peleska,
Wen-ling Huang,
2019,
Sci. Comput. Program..
Jan Peleska,
J. Peleska,
2002,
TestCom.
Jan Peleska,
Hui Shi,
Michel Kouvaras,
1999,
Proceedings 1999 Pacific Rim International Symposium on Dependable Computing.
Bettina Buth,
Jan Peleska,
Hui Shi,
1999,
AMAST.
Bettina Buth,
Jan Peleska,
Hui Shi,
1997,
AMAST.
Jan Peleska,
J. Peleska,
1996,
FME.
Jan Peleska,
Michael Siegel,
J. Peleska,
1996,
FME.
Jana Zvárová,
David Buchtela,
Arnost Veselý,
2005,
MIE.
Robert Wille,
Rolf Drechsler,
Jan Peleska,
2015,
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).
Anne Elisabeth Haxthausen,
Jan Peleska,
Ralf Pinger,
2019,
Formal Aspects of Computing.
Robert M. Hierons,
Jan Peleska,
Robert Sachtleben,
2019,
ICTSS.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2014,
International Journal on Software Tools for Technology Transfer.
Jörg Brauer,
Jan Peleska,
Uwe Schulze,
2012,
ICTSS.
Jan Peleska,
Wen-ling Huang,
Sadik Özoguz,
2017,
Software Quality Journal.
Jan Peleska,
J. Peleska,
2020,
ISoLA.
Jan Peleska,
J. Peleska,
2008,
ICTAC.
Jan Peleska,
J. Peleska,
2010,
Concurrency, Compositionality, and Correctness.
J. Peleska,
Mario Gleirscher,
Robert Sachtleben,
2023,
Sci. Comput. Program..
Jan Peleska,
J. Peleska,
1991,
Distributed Computing.
J. Fitzgerald,
J. Woodcock,
J. Peleska,
2015,
ACM Comput. Surv..
Karel Zvára,
J Peleska,
ková,
2005
.