Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Muhammad Usman Iftikhar 9 träffar

Titel Författare År Språk
1 Assuring System Goals Under Uncertainty with Active Formal Models of Self-adaptation Muhammad Usman Iftikhar 2014 Engelska
2-3 Formal Verification of Self-Adaptive Behaviors in Decentralized Systems with Uppaal - An Initial Study (flera utgåvor) Muhammad Usman Iftikhar 2012 Engelska
4 SimCA vs ActivFORMS - comparing control- and architecture-based adaptation on the TAS exemplar Stepan Shevtsov 2015 Engelska
5 ActivFORMS - Active Formal Models for Self-adaptation Muhammad Usman Iftikhar 2014 Engelska
6 A Model-Based Approach to Engineer Self-Adaptive Systems with Guarantees Muhammad Usman Iftikhar 2017 Engelska
7 A Model-Based Approach to Engineer Self-Adaptive Systems with Guarantees Muhammad Usman Iftikhar 2017 Engelska
8 A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System 2012 September 8 UK Newcastle 11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012) 2012 Engelska
9 Do External Feedback Loops Improve the Design of Self-Adaptive Systems? - A Controlled Experiment San Fransisco 2013 May 20-21 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems(SEAMS) 2013 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.