PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
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. 70, nr 1,2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2006
Identyfikatory
Zawartość wolumenu
Vol. 70, nr 1,2
artykuł:
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
(
Björklund. D.
,
Lilius J.
), s. 1-20
artykuł:
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
(
Kapoor H.K.
,
Josephs M.B.
,
Furey D.P.
), s. 21-48
artykuł:
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT
(
Khomenko V.
,
Koutny M.
,
Yakovlev A.
), s. 49-73
artykuł:
Towards Integrated Verification of Timed Transition Models
(
Lawford M.
,
Pantelic V.
,
Zhang H.
), s. 75-110
artykuł:
Guided Model Checking with a Bayesian Meta-heuristic
(
Seppi K.
,
Jones M.
,
Lamborn P.
), s. 111-126
artykuł:
Nested Emptiness Search for Generalized Büchi Automata
(
Tauriainen H.
), s. 127-154
artykuł:
Buffered Asynchronous Communication Mechanisms
(
Xia F.
,
Hao F.
,
Clark I.
,
Yakovlev A.
,
Chester E.G.
), s. 155-170
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ć.