Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Softwareentwicklung 3 [ausschließen]
- Abstrakte Zustandsmaschine 2 [ausschließen]
- B-Methode 2 [ausschließen]
- Systementwicklung 2 [ausschließen]
- Z Programmiersprache 2 [ausschließen]
- Alloy Programmiersprache 1 [ausschließen]
- Bibliografie 1 [ausschließen]
- Computer software / Reliability / Congresses 1 [ausschließen]
- Electronic digital computers / Reliability / Congresses 1 [ausschließen]
- Fault-tolerant computing / Congresses 1 [ausschließen]
- Fehlertoleranz 1 [ausschließen]
- Formal methods (Computer science) / Congresses 1 [ausschließen]
- Formale Methode 1 [ausschließen]
- Griechischer Unabhängigkeitskrieg Motiv 1 [ausschließen]
- Informatik 1 [ausschließen]
- Komponente Software 1 [ausschließen]
- Konferenzschrift 1 [ausschließen]
- Konferenzschrift 2003 Pisa 1 [ausschließen]
- Konferenzschrift 2009 Orford Québec 1 [ausschließen]
- Konferenzschrift 2011 Zürich 1 [ausschließen]
- Konferenzschrift 2012 Pisa 1 [ausschließen]
- Model Checking 1 [ausschließen]
- Programmanalyse 1 [ausschließen]
- Programmverifikation 1 [ausschließen]
- Softwaresystem 1 [ausschließen]
- Softwaretest 1 [ausschließen]
- VDM 1 [ausschließen]
-
1
-
2
Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings
Veröffentlicht 2011Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
3
Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings
Veröffentlicht 2012Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
4
Rigorous development of complex fault-tolerant systems
Veröffentlicht 2006DE-634
DE-M347
DE-91
DE-384
DE-473
DE-19
DE-355
DE-706
DE-739
Volltext
kostenfrei
Inhaltsverzeichnis
Elektronisch Tagungsbericht E-Book -
5
Abstract state machines, alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings
Veröffentlicht 2010Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
6
FME 2003 - formal methods International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 ; proceedings
Veröffentlicht 2003Inhaltsverzeichnis
Tagungsbericht Buch -
7