Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540774181, 9783540774198
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Deep Random Search for Efficient Model Checking of Timed Automata

2008 ◽  
pp. 111-124 ◽  
Author(s):  
Radu Grosu ◽  
Xiaowan Huang ◽  
Scott A. Smolka ◽  
Wenkai Tan ◽  
Stavros Tripakis
Keyword(s):  
Model Checking ◽  
Timed Automata ◽  
Random Search

scholarly journals OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks

2008 ◽  
pp. 125-149 ◽  
Author(s):  
Xenofon Koutsoukos ◽  
Manish Kushwaha ◽  
Isaac Amundson ◽  
Sandeep Neema ◽  
Janos Sztipanovits
Keyword(s):  
Sensor Networks ◽  
Service Oriented Architecture ◽  
Service Oriented
Load More ...
Sign in / Sign up

Export Citation Format

Share Document