18 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Ortmeier, Frank. editor.
Format:
Electronic Resources
Alıntı:
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October
Yazar
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
Format:
Electronic Resources
Alıntı:
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September
View Other Search Results
Yazar
Peters, James F. editor.
Format:
Electronic Resources
Alıntı:
Qualitative Assessment of Rough Sets in Terms of Decision Attribute Values in Simple Decision Systems over
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly
Yazar
van den Herik, Jaap. editor.
Format:
Electronic Resources
Alıntı:
Privacy Preserving Multi-agent Planning -- A Quantitative Assessment of the JADEL Programming Language
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Railway Operational Procedures under the IT Security Threat -- Risk Assessment of the 3Des in the ERTMS
Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Protocol -- Quantitative Verification of Weighted Kripke Structures -- Formal Safety Assessment via
Yazar
Hommersom, Arjen. editor.
Format:
Electronic Resources
Alıntı:
sections: diagnosis of disease; monitoring of health and disease and conformance; assessment of health and
Yazar
Bobillo, Fernando. editor.
Format:
Electronic Resources
Alıntı:
Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web
Yazar
Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001
Format:
Electronic Resources
Alıntı:
reaction networks -- A large-scale assessment of exact model reduction in the BioModels repository
Yazar
Baptista, Jorge. editor.
Format:
Electronic Resources
Alıntı:
Idioms into an NLP System -- Rolling out Text Categorization for Language Learning Assessment Supported
Yazar
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
Format:
Electronic Resources
Alıntı:
Frameworks._ Method for the Assessment of Semantic Accuracy Using Rules Identified by Conditional Functional
18 sonuç bulundu