Personensuche
X
?
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS) ,
7
Modeling Basic Aspects of Cyber-Physical Systems, Part II (..:
, In:
?
Proceedings of the 4th ACM symposium on Haskell ,
11
Hobbits for Haskell : a library for higher-order encodin..:
, In:
?
Proceedings of the 9th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing ,
15