يعرض 71 - 80 نتائج من 569 نتيجة بحث عن '"Edelkamp, Stefan"', وقت الاستعلام: 1.08s تنقيح النتائج
  1. 71
    Protocol Verification with Heuristic Search

    المؤلفون: Edelkamp, Stefan

    المساهمون: Lluch-Lafuente, Alberto, Leue, Stefan

    الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-65172Test

    View record in Europeana

    أضف إلى المفضلة
  2. 72
    Directed explicit-statemodel checking in the validation of communication protocols

    المؤلفون: Edelkamp, Stefan

    المساهمون: Leue, Stefan, Lluch-Lafuente, Alberto

    الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-57678Test

    View record in Europeana

    أضف إلى المفضلة
  3. 73
    Survey on Directed Model Checking

    المؤلفون: Edelkamp, Stefan

    المساهمون: Schuppan, Viktor, Bošnački, Dragan, Aljazzar, Husain, Wijs, Anton, Fehnker, Ansgar

    الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-105044Test

    View record in Europeana

    أضف إلى المفضلة
  4. 74
    Directed Explicit Model Checking with HSF-SPIN

    المؤلفون: Edelkamp, Stefan

    المساهمون: Lluch-Lafuente, Alberto, Leue, Stefan

    الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-61892Test

    View record in Europeana

    أضف إلى المفضلة
  5. 75
    Partial-order reduction and trail improvement in directedmodel checking

    المؤلفون: Edelkamp, Stefan

    المساهمون: Lluch-Lafuente, Alberto, Leue, Stefan

    الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-57668Test

    View record in Europeana

    أضف إلى المفضلة
  6. 76
    Trail-Directed Model Checking

    المؤلفون: Edelkamp, Stefan

    المساهمون: Lluch-Lafuente, Alberto, Leue, Stefan

    الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-65167Test

    View record in Europeana

    أضف إلى المفضلة
  7. 77
    Moderne Handlungsplanung :Endbericht der Projektgruppe ModPlan

    المؤلفون: Edelkamp, Stefan

    المساهمون: Jabbar, Shahid, Mehler, Tilman

    الإتاحة: http://nbn-resolving.de/urn:nbn:de:101:1-201607076945Test

    View record in Europeana

    أضف إلى المفضلة
  8. 78
    Moderne Handlungsplanung :Endbericht der Projektgruppe ModPlan

    المؤلفون: Jabbar, Shahid, Mehler, Tilman, Edelkamp, Stefan

    الوصول الحر: https://www.europeana.eu/item/2048441/item_22MZ7YFIRJRTSN5KZTYFOQI7XKOJTTJ7?utm_source=api&utm_medium=api&utm_campaign=YuvuWBeCaTest

    View record in Europeana

    أضف إلى المفضلة
  9. 79
    Summary of Dagstuhl Seminar 06172 on Directed Model Checking

    المؤلفون: Edelkamp, Stefan, Leue, Stefan, Visser, Willem, Seminar on Directed Model Checking <2006, Dagstuhl>

    الوصول الحر: https://www.europeana.eu/item/2048441/item_3KXZQ3LN72UZFGHPSTVFYEKKNZX3RG5Y?utm_source=api&utm_medium=api&utm_campaign=YuvuWBeCaTest

    View record in Europeana

    أضف إلى المفضلة
  10. 80
    Large scale parallel state space search utilizing graphics processing units and solid state disks

    المؤلفون: Edelkamp, Stefan, Steffen, Bernhard, Sulewski, Damian

    الوصول الحر: https://www.europeana.eu/item/2048441/item_ZUWALIAEDNQM2BN7JWGJEPU2DPCWTE7X?utm_source=api&utm_medium=api&utm_campaign=YuvuWBeCaTest

    View record in Europeana

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث