Wyniki wyszukiwania dla: mappings creation and verification
Filtry
wszystkich: 989
wybranych: 12
-
Katalog
- Publikacje 876 wyników po odfiltrowaniu
- Czasopisma 4 wyników po odfiltrowaniu
- Konferencje 12 wyników po odfiltrowaniu
- Osoby 22 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Kursy Online 15 wyników po odfiltrowaniu
- Wydarzenia 1 wyników po odfiltrowaniu
- Dane Badawcze 58 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: mappings creation and verification
-
Computer Aided Verification
Konferencje -
ArtsIT, Interactivity & Game Creation (International Conference on Arts and Technology)
Konferencje -
International Conference on Runtime Verification
Konferencje -
Verification, Model Checking and Abstract Interpretation
Konferencje -
International Symposium on Automated Technology for Verification and Analysis
Konferencje -
Summer School on Modelling and Verification of Parallel Processes
Konferencje -
International Conference on Software Testing, Verification and Validation
Konferencje -
The International Conference on Verification and Evaluation of Computer and Communication Systems
Konferencje -
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Konferencje -
International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Konferencje -
Forum on Specification and Design Languages (Forum on Specification, Verification and Design Languages)
Konferencje -
IFIP Joint International Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification
Konferencje