Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             5 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A survey on compositional algorithms for verification and synthesis in supervisory control Malik, Robi

33 3 p. 279-340
artikel
2 Average criteria in denumerable semi-Markov decision chains under risk-aversion Cavazos-Cadena, Rolando

33 3 p. 221-256
artikel
3 Do what you know: coupling knowledge with action in discrete-event systems Ritsuka, K.

33 3 p. 257-277
artikel
4 Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition Zippo, Raffaele

33 3 p. 181-219
artikel
5 Modeling and analysis of switching max-plus linear systems with discrete-event feedback Mohamadkhani, Alireza

33 3 p. 341-372
artikel
                             5 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland