BibSonomy :: author  ::

bookmarks

publications

(29)

• Behaviour Equivalences in Timed Distributed pi-Calculus.
  Gabriel Ciobanu Software-Intensive Systems and New Computing Paradigms 190-208 (2008)
  to dblp by dblp on 2008-11-17 00:00:00
  | URL | BibTeX  
• Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts.
  Teruo Higashino Software-Intensive Systems and New Computing Paradigms 116-131 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• Extending Formal Methods for Software-Intensive Systems.
  Graeme Smith Software-Intensive Systems and New Computing Paradigms 146-161 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• Design of Complex Cyber Physical Systems with Formalized Architectural Patterns.
  Lui Sha and José Meseguer Software-Intensive Systems and New Computing Paradigms 92-100 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• Formal Ensemble Engineering.
  J. W. Sanders and Graeme Smith Software-Intensive Systems and New Computing Paradigms 132-138 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• Change-Enabled Software Systems.
  Oscar Nierstrasz and Marcus Denker and Tudor Gîrba and Adrian Lienhard and David Röthlisberger Software-Intensive Systems and New Computing Paradigms 64-79 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• Mathematical Support for Ensemble Engineering.
  Michael Johnson Software-Intensive Systems and New Computing Paradigms 179-189 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• Emerging Models of Computation: Directions in Molecular Computing.
  Darko Stefanovic Software-Intensive Systems and New Computing Paradigms 255-265 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• Engineering of Software-Intensive Systems: State of the Art and Research Challenges.
  Matthias M. Hölzl and Axel Rauschmayer and Martin Wirsing Software-Intensive Systems and New Computing Paradigms 1-44 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• The Chemical Reaction Model Recent Developments and Prospects.
  Jean-Pierre Banâtre and Pascal Fradet and Yann Radenac Software-Intensive Systems and New Computing Paradigms 209-234 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX