Sciweavers

9974 search results - page 141 / 1995
» Software Interconnection Models
Sort
View
EMSOFT
2010
Springer
15 years 2 months ago
Ptera: an event-oriented model of computation for heterogeneous systems
Thomas Huining Feng, Edward A. Lee, Lee W. Shruben
ICST
2010
IEEE
15 years 2 months ago
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
Daniele Grasso, Alessandro Fantechi, Alessio Ferra...
KBSE
2010
IEEE
15 years 2 months ago
Verification-driven slicing of UML/OCL models
Asadullah Shaikh, Robert Clarisó, Uffe Kock...