Sciweavers

4604 search results - page 125 / 921
» Concurrency in Synchronous Systems
Sort
View
TCS
2008
15 years 3 months ago
Automatic generation of path conditions for concurrent timed systems
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...
IGPL
2000
82views more  IGPL 2000»
15 years 3 months ago
Concurrent Systems Analysis Using ECATNets
Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauch...
JOT
2002
53views more  JOT 2002»
15 years 3 months ago
Design principles for highly reusable concurrent object-oriented systems
Emilio García Roselló, José A...
97
Voted
LOGCOM
2002
52views more  LOGCOM 2002»
15 years 3 months ago
Verifying Concurrent Systems with Symbolic Execution
Michael Balser, Christoph Duelli, Wolfgang Reif, G...