2639 search results - page 1 / 528 » Biological Systems as Reactive Systems |
ICTCS
2005
Springer
13 years 10 months ago
2005
Springer
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
FUIN
2010
13 years 2 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
IJIT
2004
13 years 6 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
CMSB
2004
Springer
13 years 10 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...