1
0
0
(1 - 30 von 34
)
Verifying Auto-generated C Code from Simulink : An ...RWTH-Aachen
www.informatik.rwth-aachen.de
... the Federated Logic Conference, FloC 2018, Oxford, UK, July , 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink ... › lolj › file
Jan Peleska
www.informatik.uni-bremen.de
Address: Prof. Dr. Jan Peleska FB Informatik Universität Bremen Postfach D Bremen Germany Room: MZH Phone: +
dblp: Anne E. Haxthausen
dblp.uni-trier.de
List of computer science publications by Anne E. Haxthausen
Publications of Jan Peleska
www.informatik.uni-bremen.de
Universität Bremen FB3 TZI BISS : AG BS - Jan Peleska - Deutsch English : Publications of Jan Peleska : Claus Ballegaard Nielsen, Peter Gorm Larsen, John ...
dblp: Anne Elisabeth Haxthausen
dblp2.uni-trier.de
List of computer science publications by Anne Elisabeth Haxthausen
forex|Peleska, Jan
www.forex.uni-bremen.de
Jan Peleska -bremen.de: Affiliations | Research Topics | Cooperations | Projects | Scientific Activities | Resources. Affiliations.
Automated Model-Based Testing of Embedded Real-Time SystemsTechnische Universität Braunschweig
ifev.rz.tu-bs.de
Test case generation and test oracles for reactive real-time systems. ▻ Test data generation. ▻ Conclusion and ongoing research. Jan Peleska › U_Bremen_Peleska
Embedded Systems Testing Benchmarks Site
www.informatik.uni-bremen.de
A suggestion how to structure these benchmarks has been published in. [1] Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, ...
CommitteesUniversität zu Lübeck
fm2023.isp.uni-luebeck.de
Program Committee ; Jan Peleska, University of Bremen, DE ; Andre Platzer, Carnegie Mellon University, USA ; Jan-Oliver Ringert, Bauhaus University Weimar, DE. › ...
Mcta · LiteratureAlbert-Ludwigs-Universität Freiburg
gki.informatik.uni-freiburg.de
Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog and Alexander Baer. The UniForM Workbench, a Universal Development Environment for Formal Methods. In ... › ...
Fachgruppe FoMSESS der Gesellschaft für Informatik e.V.
rgse.uni-koblenz.de
Die Fachgruppe FoMSESS -
index - Archive ouverte HAL - IFIPArchive ouverte HAL
ifip.hal.science
Niklas Krafczyk, Jan Peleska, Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques › IFIP-LNC...
Unizeit | Nachrichten aus der Universität Kiel
www.uni-kiel.de
Die Firma, für die er arbeitet, wurde von Professor Jan Peleska gegründet, der sich am Lehrstuhl habilitiert hat. »Das zeigt«, so de Roever, ...
TQM PITFALLS - AND WHAT TO DO ABOUT THEM
www.informatik.uni-bremen.de
... an introductory text. Prentice Hall Europe Jan Peleska / Bremen Institute of Safe Systems BISS / < -bremen.de> / 06JAN1999.
dblp: Jim Wood…
List of computer science publications by Jim Wood…
Prof. Dr. rer. nat. habil. Jan Peleska - Curriculum Vitae -
www.informatik.uni-bremen.de
Since 1995, Dr. Peleska is professor for computer science (operating systems and distributed systems) at Bremen University in Germany. At the University of Hamburg
Mobile Lecture Uni Bremen
mlecture.uni-bremen.de
Prof. Dr. Jan Peleska - Thu, Kontakt. Bei Fragen zu oder Problemen mit Mobile Lectures wenden Sie sich bitte an:
Praktische Informatik 1
mlecture.uni-bremen.de
Veranstalter: Prof. Dr. Jan Peleska: Semester: WiSe 2011: Kennziffer: VAK 03-ba-700_01: Fachbereich: fb03: Uhrzeit: Di von 14: :00 HS Großer Hörsaal (2010
sortiert nach Relevanz / Datum