Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""reachability graphs"" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    CBPNs: coloured behavioural petri nets for model-based diagnosis
    Autorzy:
    Bennoui, HammadiAff1, IDs10586023042402_cor1
    Mancer, Soumia
    Pokaż więcej
    Źródło:
    Cluster Computing: The Journal of Networks, Software Tools and Applications. :1-16
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    Bisimilarity Minimization in O(m logn) Time
    Autorzy:
    Valmari, Antti
    Pokaż więcej
    Źródło:
    Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. 5606:123-142
    Książka elektroniczna
    Szczegóły
    Tytuł:
    A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols
    Autorzy:
    Gallasch, Guy Edward
    Billington, Jonathan
    Pokaż więcej
    Źródło:
    Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings. 3925:201-218
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols
    Autorzy:
    Gallasch, Guy Edward
    Billington, Jonathan
    Pokaż więcej
    Źródło:
    Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings. 3707:457-473
    Książka elektroniczna
    Szczegóły
      Wyświetlanie 1-14 z 14

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies