Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Arborescent architecture for decentralized diagnosis of discrete event systems Khoumsi, Ahmed
30 2 p. 335-375
 artikel
2 Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems Khoumsi, Ahmed
30 2 p. 377-379
 artikel
3 Information control in networked discrete event systems and its application to battery management systems Lin, Feng
30 2 p. 243-268
 artikel
4 Modelling and control of periodic time-variant event graphs in dioids Trunk, Johannes
30 2 p. 269-300
 artikel
5 On the computation of counterexamples in compositional nonblocking verification Malik, Robi
30 2 p. 301-334
 artikel
6 Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties Navarro-Gutiérrez, Manuel
30 2 p. 175-209
 artikel
7 Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction Malik, Robi
30 2 p. 211-241
 artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland