Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By IEEE

076952902x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Hilbertian Formal Methods

2007 ◽  
Author(s):  
Marius C. Bujorianu ◽  
Manuela L. Bujorianu
Keyword(s):  
Formal Methods

scholarly journals Testing the executability of scenarios in general inhibitor nets

2007 ◽  
Author(s):  
Robert Lorenz ◽  
Sebastian Mauser ◽  
Robin Bergenthum
Keyword(s):  
General Inhibitor

The Design of Virtual Self-timed Block for Activity Communication in SOC

2007 ◽  
Author(s):  
Yuan Chen ◽  
Fei Xia ◽  
Delong Shang ◽  
Alex Yakovlev
Keyword(s):  
Virtual Self

SAT-based Unbounded Model Checking of Timed Automata

2007 ◽  
Author(s):  
Wojciech Penczek ◽  
Wojciech Penczek ◽  
Wojciech Penczek ◽  
Wojciech Penczek ◽  
Maciej Szreter ◽  
...  
Keyword(s):  
Model Checking ◽  
Timed Automata

Synthesis and Control of Asynchronous and Distributed Systems

2007 ◽  
Author(s):  
Philippe Darondeau ◽  
Philippe Darondeau ◽  
Philippe Darondeau ◽  
Philippe Darondeau
Keyword(s):  
Distributed Systems ◽  
And Control
Load More ...
Sign in / Sign up

Export Citation Format

Share Document