Publications

Export 2 results:
Author [ Keyword(Asc)] Title Type Year
Filters: First Letter Of Keyword is F and Author is Kun Zhang  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
formal specification
K. Zhang and Sprinkle, J., “Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
floating sensor testbed
K. Zhang and Sprinkle, J., “Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.