Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- state space 2 Treffer
- architecture design 1 Treffer
- atomic proposition 1 Treffer
- coverage criterion 1 Treffer
- database manager 1 Treffer
-
13 weitere Werte:
- eclipse modeling framework 1 Treffer
- embed system 1 Treffer
- garbage collection 1 Treffer
- hash function 1 Treffer
- kripke structure 1 Treffer
- progress measure 1 Treffer
- reachable state 1 Treffer
- state graph 1 Treffer
- state space method 1 Treffer
- successor state 1 Treffer
- temporal logic 1 Treffer
- test access mechanism 1 Treffer
- work process 1 Treffer
Publikation
- applications and theory of petri nets : 30th international conference, petri nets 2009, paris, france, june 22-26, 2009. proceedings 1 Treffer
- applications and theory of petri nets 2004 : 25th international conference, icatpn 2004, bologna, italy, june 21-25, 2004. proceedings 1 Treffer
- embedded software and systems : first international conference, icess 2004, hangzhou, china, december 9-10, 2004, revised selected papers 1 Treffer
- tools and algorithms for the construction and analysis of systems : 7th international conference, tacas 2001 held as part of the joint european conferences on theory and practice of software, etaps 2001 genova, italy, april 2-6, 2001 proceedings 1 Treffer
- transactions on petri nets and other models of concurrency viii 1 Treffer
5 Treffer
-
2009Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2001Online E-BookZugriff: