Yazar

Alexandre Petrenko

20 cilt bulundu.

Cilt sonuçları

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli · Springer Science & Business Media

317 sayfa · 2011-11-16

Technology & Engineering

Formal Approaches to Software Testing

Alexandre Petrenko · Springer Science & Business Media

276 sayfa · 2004-01-28

Computers

Formal Approaches to Software Testing

Andreas Ulrich · Springer

276 sayfa · 2004-01-24

Computers

Der Schneeball

Alexandre Dumas · Independently Published

226 sayfa · 2020-03-07

Kategori yok

Chaos

Alexandre Hepp · Yayınevi bilinmiyor

396 sayfa · 1890

Kategori yok

Computer network protocolsConformance Testing of Protocol Machines Without ResetMingyu Yao, Alexandre Petrenko, Gregor von Bochmann

Conformance Testing of Protocol Machines Without Reset

Mingyu Yao, Alexandre Petrenko, Gregor von Bochmann · Yayınevi bilinmiyor

27 sayfa · 1993

Computer network protocols

Computer network protocolsGrey-box FSM-based Testing StrategiesAlexandre Petrenko, Nina Yevtushenko, Rachida Dssouli

Grey-box FSM-based Testing Strategies

Alexandre Petrenko, Nina Yevtushenko, Rachida Dssouli · Yayınevi bilinmiyor

22 sayfa · 1994

Computer network protocols

CiltIncremental Test Generation Guided by Fault CoverageAdenilso Simao

Incremental Test Generation Guided by Fault Coverage

Adenilso Simao · Yayınevi bilinmiyor

Sayfa sayısı yok · 2009

Kategori yok

Computer network protocolsModeling Basic LOTOS by FSMs for Conformance TestingQ. M. Tan, Alexandre Petrenko, Gregor von Bochmann

Modeling Basic LOTOS by FSMs for Conformance Testing

Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann · Yayınevi bilinmiyor

22 sayfa · 1995

Computer network protocols

Machine theoryExperiments on Nondeterministic Systems for the Reduction RelationAlexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann

Experiments on Nondeterministic Systems for the Reduction Relation

Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann · Yayınevi bilinmiyor

23 sayfa · 1994

Machine theory

Fault-tolerant computingFault Coverage Analysis in Respect to an FSM SpecificationMingyu Yao, Alexandre Petrenko, Gregor von Bochmann

Fault Coverage Analysis in Respect to an FSM Specification

Mingyu Yao, Alexandre Petrenko, Gregor von Bochmann · Yayınevi bilinmiyor

26 sayfa · 1994

Fault-tolerant computing

CiltUsing Partial-orders for Detecting Faults in Concurrent ProgramsAlexandre Petrenko, Victor Chapenko, Andreas Ulrich

Using Partial-orders for Detecting Faults in Concurrent Programs

Alexandre Petrenko, Victor Chapenko, Andreas Ulrich · Yayınevi bilinmiyor

21 sayfa · 1997

Kategori yok

Computer network protocolsHandling Redundant and Additional States in Protocol TestingAlexandre Petrenko, Teruo Higashino, Tadashi Kaji

Handling Redundant and Additional States in Protocol Testing

Alexandre Petrenko, Teruo Higashino, Tadashi Kaji · Yayınevi bilinmiyor

21 sayfa · 1995

Computer network protocols

Computer multitaskingCovering Transitions of Concurrent Systems Through Queues : Version FinalHuo, Jiale, Petrenko, Alexandre, Centre de recherche informatique de Montréal

Covering Transitions of Concurrent Systems Through Queues : Version Final

Huo, Jiale, Petrenko, Alexandre, Centre de recherche informatique de Montréal · Montréal : Centre de recherche informatique de Montréal

54 sayfa · 2005

Computer multitasking

CiltSupervisory Control with Divergence Freedom in Two Safety ModelsHallal, Hesham, Petrenko, Alexandre, Centre de recherche informatique de Montréal, Negulescu, Radu

Supervisory Control with Divergence Freedom in Two Safety Models

Hallal, Hesham, Petrenko, Alexandre, Centre de recherche informatique de Montréal, Negulescu, Radu · Montréal : Centre de recherche informatique de Montréal

218 sayfa · 2000

Kategori yok

CiltRusslands WiederaufbauAlexander Ular

Russlands Wiederaufbau

Alexander Ular · Yayınevi bilinmiyor

388 sayfa · 2016-02

Kategori yok

CiltDubrowskijAlexandre Sergueïevitch Pouchkine

Dubrowskij

Alexandre Sergueïevitch Pouchkine · Yayınevi bilinmiyor

Sayfa sayısı yok · 1951

Kategori yok

CiltDer Gefangene im KaukasusAleksandr Sergueevitch Pouchkine

Der Gefangene im Kaukasus

Aleksandr Sergueevitch Pouchkine · Yayınevi bilinmiyor

41 sayfa · 1875

Kategori yok

CiltEugène onéguine (Français Allemand édition Illustré)Alexandre Pouchkine

Eugène onéguine (Français Allemand édition Illustré)

Alexandre Pouchkine · Yayınevi bilinmiyor

269 sayfa · 2017-05-30

Kategori yok

CiltLettres Inédites À Sa Fille Olga [par] Alexandre Herzen. Introd. Et Notes Par Alexandre ZviguilskyAleksandr Herzen, Alexandre Zviguilsky (ed)

Lettres Inédites À Sa Fille Olga [par] Alexandre Herzen. Introd. Et Notes Par Alexandre Zviguilsky

Aleksandr Herzen, Alexandre Zviguilsky (ed) · Yayınevi bilinmiyor

89 sayfa · 1970

Kategori yok