Jan Peleska
发表
Jan Peleska,
J. Peleska,
2002,
TestCom.
Anne Elisabeth Haxthausen,
Jan Peleska,
Linh Vu Hong,
2014,
Sci. Comput. Program..
Jan Peleska,
J. Peleska,
2008,
ICTAC.
Jan Peleska,
2003,
MBMV.
Anne Elisabeth Haxthausen,
Jan Peleska,
Alexander Baer,
2000
.
Willem P. de Roever,
Jan Peleska,
Carsta Petersohn,
1998
.
Jan Peleska,
J. Peleska,
2004,
25 Years Communicating Sequential Processes.
Jan Peleska,
J. Peleska,
2015,
Correct System Design.
Willem P. de Roever,
Jan Peleska,
Carsta Petersohn,
1994,
EDCC.
Jan Peleska,
A. Tsiolakis,
2002
.
Jan Peleska,
Tatiana Mangels,
2012,
SSV.
Anne Elisabeth Haxthausen,
Jan Peleska,
2013
.
Jörg Brauer,
Jan Peleska,
Oliver Möller,
2018,
ISoLA.
Robert Wille,
Jan Peleska,
Christoph Hilken,
2015,
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Jan Peleska,
Carsta Petersohn,
Cornelis Huizing,
1994
.
Jan Peleska,
Helge Löding,
Tatiana Kotas,
2007,
GI Jahrestagung.
Ana Cavalcanti,
Jan Peleska,
Wen-ling Huang,
2019,
Sci. Comput. Program..
Jörg Brauer,
Jan Peleska,
Markus Dahlweid,
2015
.
Jan Peleska,
Elena Vorobev,
Florian Lapschies,
2011,
NASA Formal Methods.
Jan Peleska,
Gerd Urban,
Hans-Joachim Kolinowitz,
1998,
Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).
Jan Peleska,
1993,
GI Jahrestagung.
Jan Peleska,
Ulrich Hannemann,
Kirsten Berkenkötter,
2005,
International Journal on Software Tools for Technology Transfer.
Jan Peleska,
Jim Woodcock,
John Fitzgerald,
2015
.
Jan Peleska,
J. Peleska,
2020,
ISoLA.
Anne Elisabeth Haxthausen,
Jan Peleska,
Sebastian Kinder,
2011,
Formal Aspects of Computing.
Jan Peleska,
Hans-Martin Hörcher,
Hans-Martin Hörcher,
1995,
Software Quality Journal.
Jan Peleska,
Johannes Feuser,
2014,
Sci. Comput. Program..
Jan Peleska,
Ulrich Hannemann,
Stefan Bisanz,
2008,
2008 32nd Annual IEEE International Computer Software and Applications Conference.
Jan Peleska,
Hui Shi,
Michel Kouvaras,
1999,
Proceedings 1999 Pacific Rim International Symposium on Dependable Computing.
Jan Peleska,
Michael Siegel,
J. Peleska,
1997
.
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
Anne Elisabeth Haxthausen,
Jan Peleska,
2007,
Formal Methods and Hybrid Real-Time Systems.
Anne Elisabeth Haxthausen,
Jan Peleska,
2000,
IEEE Trans. Software Eng..
Anne Elisabeth Haxthausen,
Jan Peleska,
Linh Hong Vu,
2014
.
Jan Peleska,
J. Peleska,
1996,
FME.
Jan Peleska,
Wen-ling Huang,
Sadik Özoguz,
2017,
Software Quality Journal.
Jan Peleska,
Helge Löding,
J. Peleska,
2010,
2010 Third International Conference on Software Testing, Verification and Validation.
Robert Wille,
Rolf Drechsler,
Jan Peleska,
2015,
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).
Anne Elisabeth Haxthausen,
E. Schnieder,
Jan Peleska,
2007
.
Martin Fränzle,
Jan Peleska,
Tino Teige,
2006,
SOQUA '06.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2014,
International Journal on Software Tools for Technology Transfer.
Formal methods for test automation-hard real-time testing of con-trollers for the airbus aircraft fa
Jan Peleska,
2002
.
Anne Elisabeth Haxthausen,
Jan Peleska,
Linh H. Vu,
2017,
RSSRail.
Jörg Brauer,
Jan Peleska,
Markus Dahlweid,
2015,
SAFECOMP.
Anne Elisabeth Haxthausen,
Jan Peleska,
Ralf Pinger,
2013,
SEFM Workshops.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2018,
International Journal on Software Tools for Technology Transfer.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2016,
Formal Aspects of Computing.
Jan Peleska,
Wen-ling Huang,
Felix Hübner,
2016,
RSSRail.
Gustavo Carvalho,
Jan Peleska,
Flávia de Almeida Barros,
2013,
FTSCS.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2016,
FM.
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,
1996,
Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik.
Bettina Buth,
Jan Peleska,
1999,
Correct System Design.
Jan Peleska,
J. Peleska,
2010,
Concurrency, Compositionality, and Correctness.
Anne Elisabeth Haxthausen,
Cécile Braunstein,
Jan Peleska,
2014,
ICFEM.
Jan Peleska,
Niklas Krafczyk,
J. Peleska,
2017,
ICTSS.
Bettina Buth,
Jan Peleska,
Hui Shi,
1999,
AMAST.
Bettina Buth,
Jan Peleska,
Hui Shi,
1997,
AMAST.
Jan Peleska,
Wen-ling Huang,
Felix Hübner,
2017,
Software & Systems Modeling.
Jan Peleska,
Wen-ling Huang,
2016,
FMICS-AVoCS.
Jan Peleska,
Jon Holt,
Finn Overgaard Hansen,
2012,
2012 7th International Conference on System of Systems Engineering (SoSE).
Simon Foster,
Peter Gorm Larsen,
Joey W. Coleman,
2012,
2012 7th International Conference on System of Systems Engineering (SoSE).
Rainer Koschke,
Jan Peleska,
Thilo Mende,
2011,
2011 15th European Conference on Software Maintenance and Reengineering.
Jan Peleska,
Michael Siegel,
J. Peleska,
1996,
FME.
Jan Peleska,
Ulrich Hannemann,
Kirsten Berkenkötter,
2004,
SoftSpez Final Report.
Stefan Milius,
Jan Peleska,
Martin Sulzmann,
2012,
MBEES.
Anne Elisabeth Haxthausen,
Jan Peleska,
Linh Hong Vu,
2014,
FM 2014.
Jim Woodcock,
Ana Cavalcanti,
Jan Peleska,
2015,
ICTAC.
Anne Elisabeth Haxthausen,
Jan Peleska,
Linh Vu Hong,
2014,
FTSCS.
Anne Elisabeth Haxthausen,
Jan Peleska,
J. Peleska,
2015,
SyDe Summer School.
Jan Peleska,
Wen-ling Huang,
Felix Hübner,
2015,
TAP@STAF.
Jan Peleska,
Oliver Meyer,
Markus Dahlweid,
2000
.
Anne Elisabeth Haxthausen,
Jan Peleska,
J. Peleska,
2016,
ISoLA.
Jan Peleska,
Helge Löding,
2008,
Electron. Notes Theor. Comput. Sci..
Anne Elisabeth Haxthausen,
Jan Peleska,
2003
.
Ernst-Rüdiger Olderog,
Jan Peleska,
Bernd Krieg-Brückner,
1999,
World Congress on Formal Methods.
Jörg Brauer,
Jan Peleska,
Uwe Schulze,
2012,
ICTSS.
Jan Peleska,
Wen-ling Huang,
2017,
ICTSS.
Robert M. Hierons,
Jan Peleska,
Robert Sachtleben,
2019,
ICTSS.
Jan Peleska,
Christof Efkemann,
2011,
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
Erik P. de Vink,
Jan Peleska,
Klaus Havelund,
2018,
Lecture Notes in Computer Science.
Jan Peleska,
Ulrich Hannemann,
Kirsten Berkenkötter,
2006
.
Ina Schieferdecker,
Jan Peleska,
Peter Frensch,
2010
.
Jan Peleska,
1993
.
Jan Peleska,
Willem-Paul de Roever,
Carsta Petersohn,
1994,
Refine.
Anne Elisabeth Haxthausen,
Jan Peleska,
Ralf Pinger,
2019,
Formal Aspects of Computing.
Jan Peleska,
2018,
2018 IEEE 23rd European Test Symposium (ETS).
Jan Peleska,
J. Peleska,
2013,
MBT.
Anne Elisabeth Haxthausen,
Jan Peleska,
1999,
World Congress on Formal Methods.
Jörg Brauer,
Jan Peleska,
Wen-ling Huang,
2018,
ISoLA.
Anne Elisabeth Haxthausen,
Jan Peleska,
Johannes Feuser,
2012
.
Jan Peleska,
Christoph Hilken,
2015,
SyDe Summer School.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2013,
ICTSS.
Jan Peleska,
Hermann Schmid,
Helge Löding,
2011,
ICTSS.
Jan Peleska,
J. Peleska,
2014
.
Jörg Brauer,
Jan Peleska,
Markus Dahlweid,
2015
.
Jan Peleska,
Johannes Feuser,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jan Peleska,
J. Peleska,
1991,
Distributed Computing.
Jan Peleska,
Oliver Schulz,
2010,
SAFECOMP.
Jan Peleska,
Ralf Pinger,
Niklas Krafczyk,
2021,
Formal Aspects Comput..
Mario Gleirscher,
Jan Peleska,
J. Peleska,
2021,
FMAS.
Jan Peleska,
Wen-ling Huang,
J. Peleska,
2021,
ArXiv.
Jan Peleska,
Wen-ling Huang,
Kerstin I. Eder,
2021,
FMAS.
Jan Peleska,
Robert Sachtleben,
J. Peleska,
2021,
Softw. Test. Verification Reliab..
Jan Peleska,
Niklas Krafczyk,
J. Peleska,
2021,
SEFM.
Jan Peleska,
Ed Brinksma,
Michael Siegel,
2021
.
Jan Peleska,
2007
.
Rachel Cardell-Oliver,
Bettina Buth,
Jan Peleska,
1996
.
Jan Peleska,
Petr Hanzlicek,
Jana Zvarova,
2002,
Medical informatics and the Internet in medicine (Print).
Jan Peleska,
Petr Hanzlicek,
Arnost Vesely,
2002,
Studies in health technology and informatics.
Jan Peleska,
1984
.
Jan Peleska,
David Buchtela,
Arnost Vesely,
2004,
Studies in health technology and informatics.