3 search results - page 1 / 1 » Verification of a production cell controller using symbolic ... |
EURODAC
1995
IEEE
13 years 9 months ago
1995
IEEE
DFG
2004
Springer
13 years 9 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
MEMBRANE
2009
Springer
13 years 12 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...