53 search results - page 11 / 11 » A Tactic Language for Declarative Proofs |
ASE
2004
14 years 10 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
RTCSA
1999
IEEE
15 years 3 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
102
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...