Spelling suggestions: "subject:"abstrakte zustandsmaschine"" "subject:"abstrakte zustandsmaschinen""
1 |
Refinement and implementation techniques for Abstract State MachinesSchmid, Joachim. January 2002 (has links)
Ulm, Univ., Diss., 2002.
|
2 |
Model checking abstract state machinesWinter, Kirsten. January 2001 (has links) (PDF)
Berlin, Techn. Univ., Diss., 2001. / Computerdatei im Fernzugriff.
|
3 |
Model checking abstract state machinesWinter, Kirsten. January 2001 (has links) (PDF)
Berlin, Techn. Univ., Diss., 2001. / Computerdatei im Fernzugriff.
|
4 |
Abstract state machines verification problems and complexity /Spielmann, Marc. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2000--Aachen.
|
5 |
Semantic foundation and tool support for model-driven development with UML 2 activity diagramsSarstedt, Stefan, January 2006 (has links)
Ulm, Univ. Diss., 2006.
|
6 |
Model checking abstract state machinesWinter, Kirsten. Unknown Date (has links) (PDF)
Techn. University, Diss., 2001--Berlin.
|
Page generated in 0.0697 seconds