1
0
0
(1 - 30 von 35
)
Tools for System Development and Verification - Workshop, Proceedings, Bremen, Germany July 1996
von Jan Peleska, Shaker VerlagTaschenbuch
Books by jan peleska - Biblio.com
www.biblio.com
Shop books by jan peleska - Biblio.com for the best in savings on new & used books
Jan Peleska on Apple Books
books.apple.com
Jan Peleska. Books. Formal Methods More ways to shop: Find an Apple Store or other retailer near you. Or call MY-APPLE.
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th...
books.google.de
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held...
Communicating Sequential Processes. The First 25 Years: Symposium on...
books.google.de
[Pel91] Jan Peleska. Design and verification of fault tolerant systems with csp. Distributed Com…ng, 5(1):95–106, [Pel96] J. Peleska. Test automation for ...
Domain Science and Engineering: A Foundation for Software ...google.de
books.google.de
Anne Elisabeth Haxthausen and Jan Peleska. Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic ...
Jan Peleska | XanEdu Customization Platform
www.academicpub.com
Author: Jan Peleska. Results. A formal approach for the construction and verification of railway control systems Springer Science+Business Media
Computers in Railways XIII: Computer System Design and Operation in...
books.google.de
These conference proceedings update the use of computer-based techniques, promoting their general awareness throughout the business management, design,...
FORMS/FORMAT 2010: Formal Methods for Automation and Safety ...google.de
books.google.de
Open Proof: http://www.openproofs.org/ Jan Peleska: Formal Methods and the Development of Dependable Systems, Habilitationsschrift, Bericht Nr , ...
Concurrency, Compositionality, and …ctness: Essays in Honor of...
books.google.de
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words....
Bibliography generated from publications.bib
www.avacs.org
Springer Verlag (see article at SpringerLink) ... [Hermanns et al., 2016a]: Holger Hermanns, Julia Krämer, Jan Krcál, and Mariëlle Shaker Verlag [Badban et al., 2006]: Bahareh Badban, Martin Fränzle, Jan Peleska, and Tino Teige.
Formal Modeling and Verification of Cyber-Physical Systems: ...google.de
books.google.de
Jan Peleska. Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. In Alexander K. Petrenko and Holger Schlingloff, editors, ...
FME '96: Industrial Benefit and Advances in Formal Methods: Third
books.google.de
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March FME '96...
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in...
books.google.de
Complexity in automation- and safety systems in railway as well as automotive applications are …ted more and more by formal description means, methods and...
…ct System Design: Recent Insights and Advances - Google Books
books.google.de
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical...
Formal Methods for Industrial Critical Systems: 17th International...
books.google.de
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France,...
Test, Analyse und Verifikation von Software – gestern, ...google.de
books.google.de
5.2 Fault Domains for Input Equivalence Class Testing Recall that 86 Jan Peleska · Wen-ling Huang · Felix Hübner 4 Complexity Problems 5 Complete Input ...
FM'99 - Formal Methods: World Congress on Formal Methods in the...
books.google.de
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of...
Formal Modeling and Verification of Cyber-Physical Systems: 1st
books.google.de
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic...
Model-Based Testing for Embedded Systems - Google Books
books.google.de
What the experts have to say about Model-Based Testing for Embedded Systems:
Relational and Kleene-Algebraic Methods in Computer Science: 7th
books.google.de
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd...
Formal Methods: 22nd International Symposium, FM 2018, Held as Part...
books.google.de
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July The 44 full...
Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung,...
books.google.de
Dr. Jan Peleska DST Deutsche System-Technik GmbH Geschäftsbereich Ausfallsichere Systeme , D Kiel 14 Telefax: (0431)
Testing Software and Systems: 26th IFIP WG 6.1 International...
books.google.de
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul,...
Integration of Software Specification Techniques for Applications in...
books.google.de
Executable HybridUML and Its Application to Train Control Systems⋆ Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska University of ...
Theoretical Aspects of Com…ng - ICTAC 2008: 5th International...
books.google.de
Some 27 papers were accepted to accompany keynote talks from three invited speakers: Jean-Raymond Abr- ial, Jan Peleska and Bill Roscoe. Each invited ...
Lectures on Petri Nets II: Applications: Advances in Petri Nets -...
books.google.de
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional...
Studien- und Forschungsführer Informatik: Wissenschaftliche...
books.google.de
Diese dritte, vollständig aktualisierte Auflage des bewährten Studien- und Forschungsführers, der in Zusammenarbeit mit der Gesellschaft für Informatik, dem...
Model-Based Testing of Reactive Systems: Advanced Lectures - Google...
books.google.de
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent...
Testing of Communicating Systems XIV: Application to Internet...
books.google.de
HARDWARE/SOFTWARE INTEGRATION TESTING FOR THE NEW AIRBUS AIRCRAFT FAMILIES Jan Peleska Center for Com…ng Technologies TZI ...
sortiert nach Relevanz / Datum