PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 62, nr 2
Czasopismo
Fundamenta Informaticae
Wydawca
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 C.
), 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ć.