|
1 |
 |
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings [E-Book]
|
|
2017 |
 500258149
|
.
|
|
2 |
 |
Collaboration and Technology: 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings [E-Book]
|
|
2017 |
500255527
|
.
|
|
3 |
 |
Complexity Management in Fuzzy Systems: A Rule Base Compression Approach [E-Book]
|
|
2007 |
|
.
|
|
4 |
 |
Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [E-Book]
|
|
2017 |
500256213
|
.
|
|
5 |
 |
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings [E-Book]
|
|
2017 |
500257454
|
.
|
|
6 |
 |
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings [E-Book]
|
|
2017 |
500257469
|
.
|
|
7 |
 |
Dynamic Analysis of Petri Net-Based Discrete Systems [E-Book]
|
|
2007 |
|
.
|
|
8 |
 |
Embedded Systems Design Based on Formal Models of Computation [E-Book]
|
Radojevic, Ivan
|
2011 |
|
.
|
|
9 |
 |
Formal aspects of computing: applicable formal methods [Buch]
|
|
1989 |
|
.
|
|
10 |
 |
Formal methods for safety and security: case studies for aerospace applications [E-Book]
|
Application of Formal Methods for Safety and Security Critical Systems<Veranstaltung> <1., 2016, Bangalore>
|
2018 |
|
.
|
|
11 |
 |
Formale Grundlagen der Programmierung [E-Book]
|
Nebel, Markus
|
2012 |
|
.
|
|
12 |
 |
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
|
13 |
 |
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems [E-Book]
|
Schnieder, Eckehard
|
2011 |
|
.
|
|
14 |
 |
Kreativität und Form: Programm eines Glasperlenspiels zum Experimentieren mit Wissen [E-Book]
|
Zimmermann, Rainer E.
|
2012 |
|
.
|
|
15 |
 |
Modellierung komplexer Prozesse durch naturanaloge Verfahren: Komplexe adaptive Systeme — Modellbildungen und -theorie — neuronale Netze — Soft Computing und verwandte Techniken [E-Book]
|
|
2009 |
|
.
|
|
16 |
 |
Modellierung komplexer Prozesse durch naturanaloge Verfahren: Soft Computing und verwandte Techniken [E-Book]
|
Klüver, Christina
|
2012 |
|
.
|
|
17 |
 |
Modellierung komplexer Prozesse durch naturanaloge Verfahren: künstliche Intelligenz und künstliches Leben [E-Book]
|
Klüver, Christina
|
2021 |
|
.
|
|
18 |
 |
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings [E-Book]
|
|
2017 |
500257479
|
.
|
|
19 |
 |
Software Design for Resilient Computer Systems [E-Book]
|
Schagaev, Igor
|
2016 |
|
.
|
|
20 |
 |
Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings [E-Book]
|
|
2017 |
500256208
|
.
|
