Zoekresultaten
Resultaat 1 - 2 (van 2)
R. Eshuis | R.J. Wieringa Requirements-level semantics for UML statecharts
Non-fictie
Engels | 25 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2000
Gedrukt boek
D.N. Jansen | R.J. Wieringa Reducing the extensions of CTL with actions and real time
Non-fictie
Engels | 20 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2000
Gedrukt boek