Näytetään 21 - 25 yhteensä 25 tuloksesta haulle '"Model checking."', hakuaika: 0,01s Tarkenna hakua
  1. 21

    Verifying aspect advice modularly. Tekijä Krishnamurthi, Shriram

    Artikkeli

    Verifying aspect advice modularly.
  2. 22

    Modular design and verification of component-based mechatronic systems with online-reconfiguration. Tekijä Giese, Holger

    Artikkeli

    Modular design and verification of component-based mechatronic systems with online-reconfiguration.
  3. 23

    Heuristic-guided counterexample search in FLAVERS. Tekijä Tan, Jianbin

    Artikkeli

    Heuristic-guided counterexample search in FLAVERS.
  4. 24

    An overview of the competitive and adversarial approaches to designing dynamic power management strategies. Tekijä Irani, S.

    Artikkeli

    An overview of the competitive and adversarial approaches to designing dynamic power management strategies.
  5. 25

    Fast and simple nested fixpoints. Tekijä Seidl, Helmut

    Artikkeli

    Fast and simple nested fixpoints.

Työkalut: