Zoekresultaten
Resultaat 1 - 6 (van 6)
Centre for Telematics and Information Technology MoDeST
a compositional modeling formalism for hard and softly timed systems
Non-fictie
Engels | 38 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Graph transformation for verification and concurrency (GT-VC 2005)
satellite workshop of Concur 2005, San Francisco, 22 August 2005
Non-fictie
Engels | 112 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Nonmonotonic trust management for P2P applications
Non-fictie
Engels | 12 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Abstract graph transformation
Non-fictie
Engels | 21 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Comparative branching-time semantics for Markov chains
Non-fictie
Engels | 64 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology LicenseScript
a logical language for digital rights management
Non-fictie
Engels | 37 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek