Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications
Yazar
Shi, Zhongzhi. editor.
Format:
Electronic Resources
Alıntı:
Agent-Based Autonomous Management Approach to Dynamic Services -- Research and Application Analysis of Feature
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Monitoring of Privacy Policies -- String Constraints for Verification -- A Conference Management System with
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
-- Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems -- Status Report on
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal
Arama Sonuçlarını Sınırlandır
Daraltılmış: