摘要:
ru.nl
tue.nl 参考文章(169)
Henk Corporaal, Jeroen Voeten, Oana Florescu, Marcel Verhoef, Reusing Real-Time Systems Design Experience. forum on specification and design languages. pp. 375- 381 ,(2006)
van Mpwj Michiel Osch, Automated model-based testing of hybrid systems Technische Universiteit Eindhoven. ,(2009) , 10.6100/IR640216
Tim Kristian Cocx, Algorithmic tools for data-oriented law enforcement Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University. ,(2009)
Young-Joo Moon, Stochastic models for quality of service of component connectors Faculty of Science, Leiden University. ,(2011)
Kab Kevin Verbeek, Algorithms for cartographic visualization Technische Universiteit Eindhoven. ,(2012) , 10.6100/IR735345
Bernd Finkbeiner, Hans-Jörg Peter, Template-Based controller synthesis for timed systems tools and algorithms for construction and analysis of systems. pp. 392- 406 ,(2012) , 10.1007/978-3-642-28756-5_27
Jeroen Sebastiaan, de Bruin, Service-oriented discovery of knowledge : foundations, implementations and applications Leiden Institute for Advanced Computer Sciences (LIACS), Faculty of Science, Leiden University. ,(2010)
RH Rudolf Mak, Design and performance analysis of data-independent stream processing systems Technische Universiteit Eindhoven. ,(2008) , 10.6100/IR636537
Ahj Aad Mathijssen, Logical Calculi for Reasoning with Binding Technische Universiteit Eindhoven. ,(2007) , 10.6100/IR630460
S Sonja Georgievska, Probability and hiding in concurrent processes Technische Universiteit Eindhoven. ,(2011)