Sciweavers

396 search results - page 80 / 80
» Comparative Semantics for a Real-Time Programming Language w...
Sort
View
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 1 hour ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer