Sciweavers

7380 search results - page 27 / 1476
» Engineering Software Intensive Systems
Sort
View
102
Voted
EMSOFT
2001
Springer
15 years 7 months ago
Embedded Systems and Real-Time Programming
Niklaus Wirth
111
Voted
TACS
2001
Springer
15 years 7 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...
APSEC
2000
IEEE
15 years 7 months ago
A process logic for distributed system synthesis
Yoshinao Isobe, Kazuhito Ohmaki