МатематикаSystems Dependability Assessment. Benefits of Petri Net ModelsJean-Francois Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
МенеджментSystems Dependability Assessment. Modeling with Graphs and Finite State AutomataJean-Francois Aubry, Nicolae Brinzei