1 |
Efficient system traversal and property checking by exploiting circuit localityPeranandam, Prakash Mohan. January 2006 (has links)
Tübingen, Univ., Diss., 2006.
|
2 |
System verification tools based on monadic logicsAyari, Abdelwaheb. January 1900 (has links) (PDF)
Freiburg (Breisgau), University, Diss., 2003. / Erscheinungsjahr an der Haupttitelstelle: 2003.
|
3 |
Analysis and verification of systems with dynamically evolving structureKönig, Barbara. January 2004 (has links)
Stuttgart, Univ., Habil.-Schr., 2004.
|
4 |
Abstract state machines verification problems and complexity /Spielmann, Marc. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2000--Aachen.
|
5 |
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata /Beyer, Dirk. January 2002 (has links)
Cottbus, Techn. Univ., Diss., 2002. / Cottbus, Techn. Univ., Diss., 2002.
|
6 |
Verification of sequential imperative programs in Isabelle-HOLSchirmer, Norbert. Unknown Date (has links)
Techn. University, Diss., 2006--München.
|
7 |
Sicherheit von Smart-Card-Anwendungen /Haneberg, Dominik. January 2007 (has links)
Zugl.: Augsburg, Universiẗat, Diss.
|
8 |
Verifizierung der numerischen Schallfeldberechnung mittels der Randelementemethode am Beispiel des ReifenrollgeräuschsRennert, Roland January 2005 (has links)
Zugl.: Dresden, Techn. Univ., Diss., 2005
|
9 |
Verhaltensmodellierung in der Kraftfahrzeugtechnik mittels datenbasierter Methoden /Mielenz, Holger. January 2009 (has links)
Zugl.: Tübingen, Universiẗat, Diss., 2008.
|
10 |
Constraint integer programmingAchterberg, Tobias January 2007 (has links)
Teilw. zugl.: Berlin, Techn. Univ., Diss., 2007
|
Page generated in 0.0729 seconds