Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Computer systems / Verification
- Formal methods (Computer science) 4 [ausschließen]
- Informatik 4 [ausschließen]
- B method (Computer science) 3 [ausschließen]
- Computer science / Mathematical models 3 [ausschließen]
- Computer software / Verification 3 [ausschließen]
- Formale Methode 3 [ausschließen]
- Konferenzschrift 3 [ausschließen]
- Mathematisches Modell 3 [ausschließen]
- Softwareentwicklung 3 [ausschließen]
- COMPUTERS / Software Development & Engineering / General 2 [ausschließen]
- Computer software Verification Congresses Computer systems Verification Congresses 2 [ausschließen]
- Computer systems Verification 2 [ausschließen]
- Embedded computer systems 2 [ausschließen]
- Automatic theorem proving 1 [ausschließen]
- COMPUTERS / Computer Literacy 1 [ausschließen]
- COMPUTERS / Computer Science 1 [ausschließen]
- COMPUTERS / Data Processing 1 [ausschließen]
- COMPUTERS / General 1 [ausschließen]
- COMPUTERS / Hardware / General 1 [ausschließen]
- COMPUTERS / Information Technology 1 [ausschließen]
- COMPUTERS / Internet / Security 1 [ausschließen]
- COMPUTERS / Machine Theory 1 [ausschließen]
- COMPUTERS / Programming / Open Source 1 [ausschließen]
- COMPUTERS / Reference 1 [ausschließen]
- COMPUTERS / Software Development & Engineering / Systems Analysis & Design 1 [ausschließen]
- Computer software / Verification / Congresses 1 [ausschließen]
- Computer software Verification Congresses 1 [ausschließen]
- Computer systems / Verification / Congresses 1 [ausschließen]
- Computer systems Verification Congresses 1 [ausschließen]
-
1
-
2
Open Source Identity Management Patterns and Practices Using OpenAM 10.x
Veröffentlicht 2013FAW01
FAW02
Elektronisch E-Book -
3
Post-silicon and runtime verification for modern processors
Veröffentlicht 2011Volltext
Elektronisch E-Book -
4
Engineering dependable software systems
Veröffentlicht 2013FAW01
FAW02
Volltext
Elektronisch E-Book -
5
System-level validation high-level modeling and directed test generation techniques
Veröffentlicht 2013Volltext
Elektronisch E-Book -
6
The inverse method parametric verification of real-time unbedded systems
Veröffentlicht 2013Volltext
Elektronisch E-Book -
7
-
8
Modeling in Event-B system and software engineering
Veröffentlicht 2010BSB01
FHN01
URL des Erstveröffentlichers
Elektronisch E-Book -
9
Model checking quantum systems principles and algorithms
Veröffentlicht 2021BSB01
FHN01
TUM01
TUM02
URL des Erstveröffentlichers
Elektronisch E-Book -
10
-
11
The inverse method parametric verification of real-time embedded systems
Veröffentlicht 2013FRO01
UBG01
URL des Erstveröffentlichers
Elektronisch E-Book -
12
-
13
Modeling in Event-B system and software engineering
Veröffentlicht 2010TUM01
Volltext
Elektronisch E-Book -
14