Treffer 1 - 4 von 4 für Suche 'Fedyukovich, G.', Suchdauer: 0,38s Treffer weiter einschränken
  1. 1
    PINCETTE - Validating Changes and Upgrades in Networked Software

    PINCETTE - Validating Changes and Upgrades in Networked Software von Chockler, H., Denaro, G., Meijia Ling, Fedyukovich, G., Hyvrinen, A. E. J., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O., Sharygina, N., Tautschnig, M.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Incremental upgrade checking by means of interpolation-based function summaries

    Incremental upgrade checking by means of interpolation-based function summaries von Sery, O., Fedyukovich, G., Sharygina, N.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Interpolation-based model checking for efficient incremental analysis of software

    Interpolation-based model checking for efficient incremental analysis of software von Fedyukovich, G., Hyvarinen, A. E. J., Sharygina, N.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    PNEUMATIC CHARGING DEVICE FOR FEEDING LOOSE MATERIALS

    PNEUMATIC CHARGING DEVICE FOR FEEDING LOOSE MATERIALS von FEDYUKOVICH VASILIJ V,SU, DUBATOV VLADIMIR G,SU, OBODYANSKIJ ANATOLIJ V,SU

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: