Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Retain current filters
topic_facet:"parametric timed automata"
Cari:
Koleksi Nasional
Menampilkan
1
-
3
of
3
untuk pencarian:
''
, lama mencari: 0.24s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints"
info
dataset
Journal
oleh
André, Étienne
,
Coquard, Emmanuel
,
Fribourg, Laurent
,
Jerray, Jawher
,
Lesens, David
Terbitan:
2021
Institusi:
ZAIN Publications
Gedung:
Cognizance Journal of Multidisciplinary Studies
Lokasi
Repository
IOS Number
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.5042059
Available online:
Get online
Favorit
Tersimpan di:
Data for paper "Zone extrapolations in parametric timed automata"
info
dataset
Journal
oleh
Johan Arcile
,
Étienne André
Terbitan:
2022
Institusi:
ZAIN Publications
Gedung:
Cognizance Journal of Multidisciplinary Studies
Lokasi
Repository
IOS Number
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.5824264
Available online:
Get online
Favorit
Tersimpan di:
The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata
info
dataset
Journal
oleh
Étienne André
,
Dylan Marinho
,
Jaco van de Pol
Terbitan:
2021
Institusi:
ZAIN Publications
Gedung:
Cognizance Journal of Multidisciplinary Studies
Lokasi
Repository
IOS Number
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.4730980
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Persempit Pencarian
Hapus Filter
Topik: parametric timed automata
Sektor
3
Library
Special
3
Institusi
3
ZAIN Publications
Koleksi
3
Cognizance Journal of Multidisciplinary Studies
Format
3
Journal
Journal
3
3
Other
Dataset
3
Info
3
Topik
3
model checking
parametric timed automata
2
timed automata
1
IMITATOR
1
benchmarks
1
hybrid automata
more ...
1
imitator
1
parameter synthesis
1
real-time systems
1
schedulability analysis
1
verification
1
zone extrapolation
less ...
Pengarang
2
Étienne André
1
André, Étienne
1
Coquard, Emmanuel
1
Dylan Marinho
1
Fribourg, Laurent
1
Jaco van de Pol
more ...
1
Jerray, Jawher
1
Johan Arcile
1
Lesens, David
less ...
Tahun
2
2021
1
2022
×
Loading...