3 search results - page 1 / 1 » Verification of a production cell controller using symbolic ... |
63
Voted
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
DFG
2004
Springer
15 years 1 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
15 years 4 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...