Fundamenta Informaticae - Tom Vol. 62, nr 2 (2004) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 62, nr 2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2004

Identyfikatory

Zawartość wolumenu

Vol. 62, nr 2
- artykuł: Synthesis of Open Reactive Systems from Scenario-Based Specifications (Bontemps Y., Schobbens P-Y., Löding Ch.), s. 139--169
- artykuł: Quasi-static Scheduling for Concurrent Architectures (Cortadella J., Kondratyev A., Lavagno L., Taubin A., Watanabe Y.), s. 171--196
- artykuł: A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs (Esparza J.), s. 197--220
- artykuł: Detecting State Encoding Conflicts in STG Unfoldings Using SAT (Khomenko V., Koutny M., Yakovlev A.), s. 221--241
- artykuł: Formal Refinement Checking in a System-level Design Methodology (Talpin J.-P., Le Guernic P., Shukla S.K., Doucet F., Gupta R.), s. 243--273

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ć.