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
Pengarang
André, Étienne
Koleksi Nasional
Menampilkan
1
-
2
of
2
untuk pencarian:
'André, Étienne'
, lama mencari: 0.04s
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
“
...
André, Étienne
...
”
Available online:
Get online
Favorit
Tersimpan di:
Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata
info
software
eJournal
oleh
André
,
Etienne
,
Arias, Jaime
,
Petrucci, Laure
,
van de Pol, Jaco
Terbitan:
2020
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
IMITATOR
model checking
parameter synthesis
parametric timed automata
real-time systems
schedulability analysis
verification
×
Loading...
