Spelling suggestions: "subject:"sinärest entscheidungsdiagramm"" "subject:"sinärest entscheidungsdiagramme""
1 |
On lower bounds for parity branching programsHomeister, Matthias. January 2003 (has links) (PDF)
Göttingen, University, Diss., 2003.
|
2 |
Binäre Expression-DiagrammeHett, Andreas. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2002--Freiburg (Breisgau).
|
3 |
Ein Simulator zur Bestimmung der Schaltaktivität basierend auf einer Kombination probabilistischer und logischer MethodenKapp, Kai. January 1998 (has links)
Stuttgart, Univ., Diplomarb., 1998.
|
4 |
Planen im Fluentkalkül mit binären EntscheidungsdiagrammenStörr, Hans-Peter. January 2005 (has links) (PDF)
Techn. Universiẗat, Diss., 2005--Dresden.
|
5 |
Automated validation and verification of railway specific components and systemsKinder, Sebastian January 2007 (has links)
Zugl.: Bremen, Univ., Diss., 2007
|
6 |
Behavior analysis of communication systems compositional modelling, compact representation and analysis of performability properties /Siegle, Markus. January 2002 (has links)
Erlangen, Nürnberg, University, Habilitation, 2002.
|
7 |
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-AutomataBeyer, Dirk. Unknown Date (has links) (PDF)
Brandenburgische Techn. Universiẗat, Diss., 2002--Cottbus.
|
8 |
Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der SoftwaresicherheitstechnikRobschink, Torsten. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2005--Passau. / Erscheinungsjahr an der Haupttitelstelle: 2004.
|
Page generated in 0.0998 seconds