Fundamenta Informaticae - Tom Vol. 78, nr 1 (2007) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 78, nr 1

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2007

Identyfikatory

Zawartość wolumenu

Vol. 78, nr 1
- artykuł: Verification of Concurrent Systems with Parametric Delays Using Octahedra (Clarisó R., Cortadella J.), s. 1-33
- artykuł: An Algebra of Pareto Points (Geilen M., Basten T., Theelen B., Otten R.), s. 35-74
- artykuł: Automating Synthesis of Asynchronous Communication Mechanisms (Gorgônio K., Xia F., Yakovlev A.), s. 75-100
- artykuł: Controllable Delay-Insensitive Processes (Josephs M.B., Kapoor H.K.), s. 101-130
- artykuł: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications (Potop-Butucaru D., Caillaud B.), s. 131-159
- artykuł: Improved Decomposition of Signal Transition Graphs (Vogler W., Kangsah B.), s. 161-197

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.