Search results 39
Paper図書
National Diet Library
Paper図書
National Diet Library
- Subject Heading...mverifikation. Model Checking. Abstrakte Interpretation. For...
Paper図書
National Diet Library
- Subject Heading.... Kryptologie. Model Checking. Programmverifikation. Trusted...
Paper図書
National Diet Library
- Subject Heading...sses. MoChArt. Model checking.
Paper図書
National Diet Library
- Subject Heading... Programmtest. Model Checking. Serviceorientierte Architektu...
Paper図書
National Diet Library
Paper図書
National Diet Library
- Subject Heading...tware. Testen. Model Checking. Haifa <2009> Kongress.
Paper図書
National Diet Library
- Subject Heading...Systementwurf. Model Checking. Verifikation. Antwerpen <2010...
Paper図書
National Diet Library
- Subject Heading...rmale Methode. Model Checking. Programmanalyse. Programmtest...
Paper図書
National Diet Library
- Subject Heading...t (Informatik) Model Checking. Programmverifikation. Sicherh...